Bug430846.java