A patch and diff generator written in Java