Minor javadoc fixes
Rename the patch files. Again.
Replace properties.xml with version.xml

No big changes, just a better-looking file