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

Jean-Noel Rouvignac
06.42.2015 e79461c53adce17f83f30954f8a03d67bb761a1f
opendj-server-legacy/src/main/java/org/opends/quicksetup/ui/CustomHTMLEditorKit.java
@@ -44,7 +44,7 @@
 */
public class CustomHTMLEditorKit extends HTMLEditorKit
{
  private HashSet<ActionListener> listeners = new HashSet<ActionListener>();
  private HashSet<ActionListener> listeners = new HashSet<>();
  private static final long serialVersionUID = 298103926252426388L;
  /**