Problem observed during 1.4.2_12b01 64-bit install/remove test on itanium 2

To reproduce:
1. Install 1.4.2_11 fcs build.
2. Install 1.4.2_12b01

Inspect HKLM key in registry:

Windows Registry Editor Version 5.00

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft]

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit]
"CurrentVersion"="1.4"

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit\1.4]
"JavaHome"="C:\\j2sdk1.4.2_12-x64\\"
"MicroVersion"="2"

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit\1.4.2.11]
"MicroVersion"="2"
"JavaHome"="C:\\j2sdk1.4.2_11-x64\\"

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit\1.4.2.12]
"MicroVersion"="2"
"JavaHome"="C:\\j2sdk1.4.2_12-x64\\"

Note the platform (1.4) key and the two product keys the two installed releases.


2. Remove 1.4.2_12

Inspect registry again:

Windows Registry Editor Version 5.00

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft]

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit]
"CurrentVersion"="1.4"

[HKEY_LOCAL_MACHINE\SOFTWARE\JavaSoft\Java Development Kit\1.4.2.11]
"MicroVersion"="2"
"JavaHome"="C:\\j2sdk1.4.2_11-x64\\"


Note that the platform key has been removed.

This is inconsistent with 32-bit install behaviour on x86 and could ultimately affect application behaviour (webstart and plugin as soon as they are supported on 64-bit)

The platform key should remain and be updated with the previous installation JavaHome

This does not appear to be a regression. I examined the behaviour going back to 1.4.2_08 64-bit and it is the same.

Removal of the older release also removes the platform key from the more recent release.
Operating System was Windows 2003 EE.
This problem has also been observed on Windows 2003 SE AMD64 install/remove.

Just to clarify, Windows/x86 was checked and is not affected by this problem.