Thanks @fabian! My main question was, if AndroidStudio with Juce under Windows is still discouraged (as the sticky post still says this).
I got it running meanwhile under Windows 10 with the defaults (=min. SDK 23) but with an Emulator with API 25.
With API 23 emulators (tried 2 different ones), even the hello world example under Windows crashes reproduceably (with juce A/libc: Fatal signal 11 (SIGSEGV), code 2, fault addr 0xeaeef000 in tid).
So I would say, Windows might work now, but we should use an emulator >= API25.
Does this sound reasonable?