changes for serverconf.java