Fixing EditLog.java