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
private void printRest(StringBuffer buffer) {
		if ( !fRest.isEmpty()) {
			Iterator e= fRest.iterator();
			while (e.hasNext()) {
				Pair p= (Pair) e.next();
				buffer.append("<dt>"); 
				if (p.fTag != null)
					buffer.append(p.fTag);
				buffer.append("</dt>"); 
				buffer.append("<dd>"); 
				if (p.fContent != null)
					buffer.append(p.fContent);
				buffer.append("</dd>"); 
			}
		}
	}
	
	private String printSimpleTag() {
		StringBuffer buffer= new StringBuffer();
		buffer.append("<dl>"); 
		print(buffer, JavaDocMessages.getString("JavaDoc2HTMLTextReader.parameters.section"), fParameters, true); 
		print(buffer, JavaDocMessages.getString("JavaDoc2HTMLTextReader.returns.section"), fReturn); 
		print(buffer, JavaDocMessages.getString("JavaDoc2HTMLTextReader.throws.section"), fExceptions, false); 
		print(buffer, JavaDocMessages.getString("JavaDoc2HTMLTextReader.see.section"), fSees, false); 
		printRest(buffer);
		buffer.append("</dl>"); 
		
		return buffer.toString();
	}