I've been using 3rd party so long I didn't even know the launcher wasn't a Java program itself; is it a compiled executable? Maybe I should download Minecraft directly ...