Tweaking MasterFrame.java.