public void SaveConfig()
{
string[] props = new string[ServConfig.Count + 2];
int i =0;
props[i++]="#Minecraft Server Configuration";
props[i++]="# Do Not Manually Edit, maintained by MineManager ServerWrapper.";
foreach (KeyValuePair<string,string> kvp in ServConfig)
{
props[i++] = string.Format("{0}={1}", kvp.Key, kvp.Value);
}
File.WriteAllLines("server.properties", props);
}