Delete PetrCech.java