tree eb953d53f5f177ed1d5012cf96bd60218a951a88
parent 661cdd12064aa52a6fe8ab130a2a7f08ea33c16b
author Dani Megert <dmegert> 1332349556 +0100
committer Dani Megert <dmegert> 1332349556 +0100

Fixed bug 364695: [implementation] DelegatingAnnotationPreference does
not override all get-methods of AnnotationPreference