Delete jgrep.java