Is there any reason why the DefaultProperty annotation is not annotated itself with java.lang.annotation.Documented?
Doing so means that users will be able to see what WTK (or other) classes are have the DefaultProperty annotation and its value by looking at the Javadoc for that class. Are there any other Pivot annotations which would also benefit from this? Index: DefaultProperty.java =================================================================== --- DefaultProperty.java (revision 1153814) +++ DefaultProperty.java (working copy) @@ -16,6 +16,7 @@ */ package org.apache.pivot.beans; +import java.lang.annotation.Documented; import java.lang.annotation.ElementType; import java.lang.annotation.Inherited; import java.lang.annotation.Retention; @@ -26,6 +27,7 @@ * Specifies a property to which child elements will be added or set when an * explicit property is not given. */ +@Documented @Inherited @Retention(RetentionPolicy.RUNTIME) @Target(ElementType.TYPE)
