Add port to java war

The port on which a java war application is supposed to listen wasn't documented.