Use dtjava.js rather than deployJava.js, since doesn't kill the DOM at
odd times.