public static final String
EXCEPTION_HANDLER_JAVA
"<exception handler>"
FILTER_FUNCTIONS_JAVA
"<filter functions>"
FILTER_FUNCTION_JAVA
"<filter function>"
FOLD_FUNCTION_JAVA
"<fold function>"