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

matthew_swift
26.01.2007 958cc0238cfb7c6c3f0b27dae66f63d4c5cf94a6
opendj-sdk/opends/src/server/org/opends/server/admin/UnknownPropertyDefinitionException.java
@@ -53,7 +53,7 @@
   * @param p
   *          The visitor parameter if there was one.
   */
  public UnknownPropertyDefinitionException(PropertyDefinition d, Object p) {
  public UnknownPropertyDefinitionException(PropertyDefinition<?> d, Object p) {
    super(d);
    this.parameter = p;
  }