[DrJava] it's jdk 1.4 time

[Brian S. <bs...@bs...>]

http://java.sun.com/j2se/1.4

it's final. not much fanfare yet. i'm installing it on cs net and owlnet.