*active-listeners*
*base-url*
*console-msgs*
*console-msgs-types*
*listener-count*
*monthnames*
*standard-html-header*
*standard-xhtml-header*
*standard-xml-header*
*whitespace-chars*
*worker-count*
+datetime-number-strings+
+hex-chars+
+unambiguous-charset+
if*-keyword-list
+char-code-0+
+char-code-lower-a+
+char-code-upper-a+
+default-repl-server-port+
+eof-char+
+field-delim+
+max-field+
+max-fields-per-line+
+max-line+
+newline+
+posix-epoch+
+unambiguous-length+
+zellers-adj+
