In any case, the fix is quite simple; the Android installer can't see the 64-bit JDK because it's not allowed to look into the 64-bit registry, even if the keys are there. So just copy the 64-bit keys into their relative 32-bit location, and the installer is satisfied.
Notice: I'm not responsible for anything that goes wrong while following this guide, whether due to user error or a mistake in the guide. Also, it's not guaranteed to work, especially if things like the registry path change.
- Open regedit
- Go to File > Export
- At the bottom, select the "Selected Branch" bubble and paste in
[Note: it's a good idea to navigate to this first to make sure it exists; this is just where it was on my computer.]
- Select the output folder and name, then click Save, then open it in a text editor
- Insert Wow6432Node into every path between SOFTWARE and JavaSoft for every instance of the path in the fileHKEY_LOCAL_MACHINE\SOFTWARE\Wow6432Node\JavaSoft\...
- Save the file and open it
- Answer yes to the prompt, and Congratulations! You can now install the Android SDK with the 64-bit JDK!
Yes I realize that the Android SDK also has a ZIP version, but I personally like installing things to keep track of them. In any case, I hope this helps some people.