Web browser Java plugin and an implementation of Java Web Start