Update ConfigFile.java

Port to 1.7.2