else if (ch == '/') { }
  public static void fillInHtmlElementNames(IFile _htmlFile, Set _htmlElementNames) throws CoreException, IOException {    FileEditorInput fileInput = new FileEditorInput(_htmlFile);    InputStream fileContents = fileInput.getStorage().getContents();    BufferedInputStream bis = new BufferedInputStream(fileContents);    int ch;    char[] stringToMatch = { '<', 'w', 'e', 'b', 'o', 'b', 'j', 'e', 'c', 't', 'n', 'a', 'm', 'e', '=' };    int matchIndex = 0;    StringBuffer elementNameBuffer = null;    boolean elementFound = false;    while ((ch = bis.read()) != -1) {      if (elementNameBuffer == null) {        if (ch == ' ') {          // ignore spaces        }        else if (Character.toLowerCase((char) ch) == stringToMatch[matchIndex]) {          matchIndex++;          if (matchIndex == stringToMatch.length) {            elementNameBuffer = new StringBuffer();            matchIndex = 0;          }        }        else {          matchIndex = 0;          if (Character.toLowerCase((char) ch) == stringToMatch[matchIndex]) {            matchIndex++;          }        }      }      else {        if (ch == ' ') {        }        else if (ch == '"') {        }        else if (ch == '>') {          String elementName = elementNameBuffer.toString();          _htmlElementNames.add(elementName);          elementNameBuffer = null;        }        else {          elementNameBuffer.append((char) ch);        }      }    }  }