Java-based .properties file editor.