Java bugs (Sun)