code: @Override
      public void saveState() {
          GUISaveState.getInstance().setSplitTop(topSPane.getDividerLocation());
          GUISaveState.getInstance().setSplitSummary(summarySPane.getDividerLocation());
          GUISaveState.getInstance().setSplitMain(mainSPane.getDividerLocation());
      }
docs: /*
  (non-Javadoc)
  
  @see edu.umd.cs.findbugs.gui2.FindBugsLayoutManager#saveState()