@hitoriblog Java Preferences で見ると、J2SE 5.0 32-bit が一番優先になっていました。だめもとで、J2SE 1.4.2 の優先度を上げてみたけどやはり駄目でした……