tree cf380701b89ce129150d1bdab4c81ec24d005a42
parent cc6d21c97d2df3c8bbfc9f259ee952df534cf65a
author Stephan Wahlbrink <sw@wahlbrink.eu> 1540811936 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1543574500 +0100

Bug 540256: [RJ-Server] Add system property for server port range

Also:
  - Adapt to revised jcommons.rmi

Change-Id: Ie491e0c03d99fab9a147b7d397c9eb3991e9ab51