equal
deleted
inserted
replaced
180 private static final String[] RECOGNIZED_FEATURES = { |
180 private static final String[] RECOGNIZED_FEATURES = { |
181 VALIDATION, |
181 VALIDATION, |
182 EXTERNAL_GENERAL_ENTITIES, |
182 EXTERNAL_GENERAL_ENTITIES, |
183 EXTERNAL_PARAMETER_ENTITIES, |
183 EXTERNAL_PARAMETER_ENTITIES, |
184 ALLOW_JAVA_ENCODINGS, |
184 ALLOW_JAVA_ENCODINGS, |
185 WARN_ON_DUPLICATE_ENTITYDEF |
185 WARN_ON_DUPLICATE_ENTITYDEF, |
|
186 STANDARD_URI_CONFORMANT |
186 }; |
187 }; |
187 |
188 |
188 /** Feature defaults. */ |
189 /** Feature defaults. */ |
189 private static final Boolean[] FEATURE_DEFAULTS = { |
190 private static final Boolean[] FEATURE_DEFAULTS = { |
190 null, |
191 null, |
191 Boolean.TRUE, |
192 Boolean.TRUE, |
192 Boolean.TRUE, |
193 Boolean.TRUE, |
193 Boolean.TRUE, |
194 Boolean.TRUE, |
194 Boolean.FALSE, |
195 Boolean.FALSE, |
|
196 Boolean.FALSE |
195 }; |
197 }; |
196 |
198 |
197 /** Recognized properties. */ |
199 /** Recognized properties. */ |
198 private static final String[] RECOGNIZED_PROPERTIES = { |
200 private static final String[] RECOGNIZED_PROPERTIES = { |
199 SYMBOL_TABLE, |
201 SYMBOL_TABLE, |