Use ini4j in Config; fixes #6