fixed serialVersionUID's in INI.java