/** @generated */
  protected NodeFigure createNodePlate() {
    DefaultSizeNodeFigure result = new DefaultSizeNodeFigure(12, 10);

    // FIXME: workaround for #154536
    result.getBounds().setSize(result.getPreferredSize());
    return result;
  }
  /** Modify the default size of the containment circle node */
  protected org.eclipse.gmf.runtime.gef.ui.figures.NodeFigure createNodePlate() {
    org.eclipse.gmf.runtime.gef.ui.figures.DefaultSizeNodeFigure result =
        new org.eclipse.gmf.runtime.gef.ui.figures.DefaultSizeNodeFigure(20, 20);

    // FIXME: workaround for #154536
    result.getBounds().setSize(result.getPreferredSize());
    return result;
  }
 /** @generated */
 protected NodeFigure createNodePlate() {
   String prefElementId = "OutputPin";
   IPreferenceStore store = UMLDiagramEditorPlugin.getInstance().getPreferenceStore();
   String preferenceConstantWitdh =
       PreferenceInitializerForElementHelper.getpreferenceKey(
           getNotationView(), prefElementId, PreferencesConstantsHelper.WIDTH);
   String preferenceConstantHeight =
       PreferenceInitializerForElementHelper.getpreferenceKey(
           getNotationView(), prefElementId, PreferencesConstantsHelper.HEIGHT);
   DefaultSizeNodeFigure result =
       new DefaultSizeNodeFigure(
           store.getInt(preferenceConstantWitdh), store.getInt(preferenceConstantHeight));
   // FIXME: workaround for #154536
   result.getBounds().setSize(result.getPreferredSize());
   return result;
 }