fixes an error in TestPoint.java and Hazard.java