112     private DocFlavor docFlavor;
180         this.docFlavor = flavor;
274         this.docFlavor = flavor;
1586                                                           docFlavor,
1669                                                           docFlavor,
1987                                                           docFlavor,
2030                                                          docFlavor, asCurrent)) {
2169                                                           docFlavor,
2200                 !psCurrent.isAttributeValueSupported(or, docFlavor, asCurrent)) {
2205                    !psCurrent.isAttributeValueSupported(or, docFlavor, asCurrent)) {
2209                                                               docFlavor,
2343                                                           docFlavor,
2439                                                           docFlavor,
2542                                                           docFlavor,

Indexes created Tue Jul 24 14:28:13 CEST 2018