A Python-compatible Java INI parser