+ # Common functions for all install scripts
+
+ # install_alternatives program_base programs
+ install_alternatives() {
+ program_base="\$1"
+ shift
+ for program in \$*; do
+ update-alternatives \\
+ --install "/usr/bin/\$program" "\$program" "\$program_base/\$program" $j2se_priority \\
+ --slave "/usr/share/man/man1/\$program.1.gz" "\$program.1.gz" "$jvm_base$j2se_name/man/man1/\$program.1.gz"
+ done
+ }
+
+ # install_alternatives_no_man program_base programs
+ install_no_man_alternatives() {
+ program_base="\$1"
+ shift
+ for program in \$*; do
+ update-alternatives --install "/usr/bin/\$program" "\$program" "\$program_base/\$program" $j2se_priority
+ done
+ }
+
+ # install_browser_plugin link_path link_name plugin_name plugin
+ install_browser_plugin() {
+ local link_path="\$1"
+ local link_name="\$2"
+ local plugin_name="\$3"
+ local plugin="\$4"
+ [ -d "\$link_path" ] || install -d -m 755 "\$link_path"
+ update-alternatives --install "\$link_path/\$link_name" "\$plugin_name" "\$plugin" $j2se_priority
+ }
+
+EOF
+ eval "$j2se_install" >> "$debian_dir/postinst"