Delete .#ColoredGridWorld.java.1.3