release HELM notation toolkit 1.1 and editor 1.2

release HELM notation toolkit 1.1 and editor 1.2, including jar,
javadoc, applet and jws