added mirror for javadoc for JPMML