Delete Explorer.java~