public Enumeration getInitParameterNames() { return properties.keys(); }
public Enumeration getInitParameterNames();
    public Enumeration getInitParameterNames()    {        return properties.keys();    }