code: private String submitJS() {
  
          StringBuffer result = new StringBuffer();
          result.append("  function validateQuery() {\n");
          result.append("    var searchform = document.getElementById(\"EDITOR\");\n");
          result.append("    var query = searchform.elements['query.0'].value;\n");
          result.append("    searchform.elements['query.0'].value = query;\n");
          result.append("    return true;\n");
          result.append("  }\n");
          return result.toString();
      }
docs: Returns the JavaScript for submitting the search form.<p>
  
  @return the JavaScript for submitting the search form