class ClientSettingsWrapper {

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

    public  ClientSettingsWrapper(File settingsFile);

}