class ServerSettingsWrapper {

    public final int getServerPort(TankSelector tank, int defaultPort) {
        String port = properties.getProperty("serverPort_" + tank.name());
        if (port == null) {
            return defaultPort;
        }
        try {
            return  Integer.parseInt(port);
        } catch (NumberFormatException e) {
            return defaultPort;
        }
    }

    public  ServerSettingsWrapper(File propFile);

}