private static void savePort(ConfigurationSection maincs, Port port)
	{
		ConfigurationSection cs = maincs.createSection(port.getName());
		cs.set("srcCorner1", getLocString(port.getSrcLowerCorner()));
		cs.set("srcCorner2", getLocString(port.getSrcUpperCorner()));
		cs.set("destination", getLocString(port.getDestination()));
		if (port.getDestination2() != null)
			cs.set("destination2", getLocString(port.getDestination2()));
		if (port instanceof PlayerPort)
		{
			cs.set("owner", ((PlayerPort) port).getOwner());
		}
		Map<PortOption, String> options = port.getOptions();
		if (options == null || options.isEmpty())
			return;
		ArrayList<String> al = new ArrayList<String>();
		for (PortOption po : options.keySet())
		{
			String value = options.get(po);
			if (value == null)
				al.add(po.getName());
			else
				al.add(po.getName() + "=" + value);
		}
		cs.set("options", al);
	}