(delete shell.java)