/* Called when storing the current layout */
 public EditorLayout write(EditorDockable dockable) {
   return dockable.getLayout();
 }
 /*
  * An optional method allowing to reuse 'dockable' when loading a new
  * layout
  */
 public boolean match(EditorDockable dockable, EditorLayout layout) {
   return dockable.getLayout().equals(layout);
 }