Updated JGrep.java