Bug 56105 Shouldn't use @todo as a default todo tag
I20040324 We shouldn't used @todo as a default todo tag. Doing so causes grief when using @todo inside Javadoc tags.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/javadoc/JavaDoc2HTMLTextReader.java
reader.unread(chars[i]);
		buffer.setLength(buffer.length() - chars.length);
	}
	
	private int findEndingTag(StringBuffer buffer) {
		String s= buffer.toString();
		for (int  i= 0; i < TAGS.length; i++) {
			if (s.endsWith(TAGS[i]))
				return i;			
		}
		return -1;
	}
	
	private String subsituteQualification(String qualification) {
		return qualification.replace('#', '.');
	}
	
	private void printDefinitions(StringBuffer buffer, List list, boolean firstword) {
		Iterator e= list.iterator();
		while (e.hasNext()) {
			String s= (String) e.next();
			buffer.append("<dd>"); 
			if (!firstword)
				buffer.append(s);
			else {
				buffer.append("<b>"); 
				
				int i= 0;
				while (i < s.length() && Character.isLetterOrDigit(s.charAt(i))) { ++i; }
				if (i <= s.length()) {