added Jgrep.sync()