Patch for Java 5 support.