Mi JAVA_HOMEen mi máquina de desarrollo, que es Windows 7 Pro 64 Bit, apunta a un Java de 64 bits, y eso está bien en general. Sin embargo, acabo de instalar un programa, a saber, el IDE de FlashDeveloper, para el que esta configuración no está bien: en su lugar, se requiere un Java de 32 bits, y...