private void writeServers() throws IOException {
	if(servers == null)
	    servers = ServerListEntry.DEFAULT;
	Writer writer = new OutputStreamWriter(new FileOutputStream("servers.json"), Charset.forName("UTF-8"));
	new GsonBuilder().setPrettyPrinting().create().toJson(servers, new TypeToken<List<ServerListEntry>>(){}.getType(), writer);
	writer.close();
    }