Java library to read and edit INI-style configuration files