guessConfig(config);
// create system properties
ResourceProperties sysProps = new ResourceProperties();
sysProps.addResource(new FileResource(config.getPropFile()));
// check if there's a property setting for those ports not specified via command line
if (!config.hasWebsrvPort() && sysProps.getProperty("webPort") != null) {
try {
config.setWebsrvPort(getInetSocketAddress(sysProps.getProperty("webPort")));