/** * Gets the layout preferences key for this view panel * * @return The key */ public String getLayoutPreferencesKey() { return "protege-4.1." + memento.getViewPaneId(); }