(Omit source code)
HTML.Tag[] list = HTML.getAllTags(); for (int i = 0; i < list.length; i++) { System.out.println((i+1) + ": " + list[i]); }