check_java_version	java-version
get_java_version	java-version
java-version	java-version
minimal_java_version	java-version
reload_dictionaries	reload_dictionaries
reload_safactories	reload_safactories
reload_tsproviders	reload_tsproviders
