Java bugs (GCC)