Java 7 U17 32 bit JRE seems to be missing from DC

Java 7 U17 32 bit JRE seems to be missing from DC

The JDK is in there, as is the 64 bit JRE, but the 32 bit JRE is not there.