File precepts/MaxMin.java does not exist.