Tools for Java .properties files