https://blog.f12.no/wp/2004/11/29/java-properties-editor/