use java script deployJava.js for better compatibility of exported applets
with different browsers
history