Rename Empty to Empty.java