mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Jean-Noel Rouvignac
24.41.2015 e7cac727a9231ff3602e61a4ea678e0463eb0e39
opendj-server-legacy/src/main/java/org/opends/quicksetup/ui/CustomHTMLEditorKit.java
@@ -55,9 +55,7 @@
    super();
  }
  /**
   * {@inheritDoc}
   */
  /** {@inheritDoc} */
  public ViewFactory getViewFactory()
  {
    return new MyHTMLFactory();
@@ -86,9 +84,7 @@
   */
  class MyHTMLFactory extends HTMLFactory
  {
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    public View create(Element elem)
    {
      View v = super.create(elem);
@@ -115,9 +111,7 @@
      super(elem);
    }
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    public void actionPerformed(ActionEvent ev)
    {
      if (ev != null && ev.getWhen() != lastActionWhen) {
@@ -129,9 +123,7 @@
      }
    }
    /**
     * {@inheritDoc}
     */
    /** {@inheritDoc} */
    protected Component createComponent()
    {
      Component comp = super.createComponent();