PROGRAMS BY monoceros.sf.net

This is a useful tool that help you to edit the java properties. Maybe there are several tools, such as IDEs, properties editor, can do this, but I hope that I can simply edit the java properties file.