Delete Editor.java~