C# java properties file editor