Factor out Java / Javadoc versions as properties