A tool for generating diffs from java