Tweaks to RunDB.java