Mark for deletion: replaced by JGrep (obviously common code).