Demining for java