Delete duplicate in Shell.java