# Common functions for all install scripts

    # install_alternative -- add an alternative
    #
    # install_alternative program
    function install_alternative() {
        local program="$1"
        update-alternatives \
	    --install "/usr/bin/$program" "$program" \
	    "$j2se_base/bin/$program" "$priority" \
	    --slave "/usr/share/man/man1/$program.1.gz" "$program.1.gz" \
	    "$j2se_base/man/man1/$program.1.gz"
    }

    # install_java_plugin -- add an alternative for a browser plugin
    #
    # install_java_plugin browser_plugin_path java_plugin_path priority
    function install_java_plugin() {
        [ -d "$1" ] || install -d -m 755 "$1"
        update-alternatives \
	    --install "$1/$2" "$3" "$4" "$5"
    }