use java script deployJava.js for better compatibility of exported applets
with different browsers
history
Merge branch '1.2.x' into 1.3.x

Conflicts:
	freeplane/doc/history_en.txt
Merge remote-tracking branch 'origin/1.3.x' into 1.3.x