void saveState() { table.saveState(false); if (split != null) myPrefs.putInt("splitPos" + level, split.getDividerLocation()); }