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
buffer.append(s.substring(0, i));
					buffer.append("</b>"); 
					buffer.append(s.substring(i));
				} else {
					buffer.append("</b>"); 
				}
			}
			buffer.append("</dd>"); 
		}
	}
	
	private void print(StringBuffer buffer, String tag, List elements, boolean firstword) {
		if ( !elements.isEmpty()) {
			buffer.append("<dt>"); 
			buffer.append(tag);
			buffer.append("</dt>"); 
			printDefinitions(buffer, elements, firstword);
		}
	}
	
	private void print(StringBuffer buffer, String tag, String content) {
		if  (content != null) {
			buffer.append("<dt>"); 
			buffer.append(tag);
			buffer.append("</dt>"); 
			buffer.append("<dd>"); 
			buffer.append(content);
			buffer.append("</dd>"); 
		}
	}