Patched up WarDungeon.java.