Java 1.5 bug note