formatter.append("<textarea name=scriptTextArea rows=\"10\" cols=\"100\"></textarea>");
formatter.appendLine("<BR>");
formatter.appendLine("<INPUT name=deploy type=\"submit\" value=\"Deploy\"> <INPUT name=execute type=\"submit\" value=\"Execute\"> <INPUT name=reset type=\"reset\">");
formatter.appendLine("</FORM>");
formatter.addDivElement(SCRIPTRESULTSDIV, scriptResult);
formatter.appendLine("</fieldset><BR>");
return formatter.toString();
}