Refactored jgrep to improve formatting.
Updated options.java to improve formatting.