Java bugs found?