Bugfixes in ServerInfo.java and Scheduler.java