. $SECTION_DIRECTORY/java-functions set_java_env && set_ant_env && ant dist .