deleting Mine.java