Delete JShell.java