Fixing up the JDK 1.5 incompatibility.