ServerSettingsWrapper { public final void setServerPort(TankSelector tank, int port) { String tankString = tank.name(); String portString = String.valueOf(port); properties.setProperty("serverPort_" + tankString, portString); } ServerSettingsWrapper(File propFile); final void setServerPort(TankSelector tank, int port); final int getServerPort(TankSelector tank, int defaultPort); final void saveSettings();  }
@Test public void testSetServerPort() { wrapper.setServerPort(TankSelector.valuesWithoutMix()[0], 1042); assertEquals(1042, wrapper.getServerPort(TankSelector.valuesWithoutMix()[0], -1)); }