debugging IBM JDK bug