Syntax of embedding Applet in HTML