Make use of pyjavaproperties instead of ConfigObj.

This relates to issue #1 and issue #3.