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

matthew_swift
26.01.2007 54c2799f45256fef4a981fa2a6a7c97a9708ac8b
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;
  }