Respect default port setting in JDBC driver. Pick up version number from Makefile.global. Change installation directory to share/java/. Document.