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 int getContent(StringBuffer buffer, char stopChar) throws IOException {
		int c= nextChar();
		while (c != -1 && c != stopChar) {
			buffer.append((char) c);
			c= nextChar();
		}
		return c;
	}
	
	private int getContentUntilNextTag(StringBuffer buffer) throws IOException {
		int c= nextChar();
		boolean tagStarterRead= (c == '@');  
		while (c != -1) {
			buffer.append((char) c);
			int endingTagIndex= tagStarterRead ? findEndingTag(buffer) : -1;
			if (endingTagIndex != -1) {
				unread(TAGS[endingTagIndex], buffer);
				return nextChar();
			}	
			c= nextChar();
			tagStarterRead= tagStarterRead || (c == '@');
		}
		return c;
	}
	
	private void unread(String tag, StringBuffer buffer) throws IOException {
		PushbackReader reader= ((PushbackReader) getReader());
		char[] chars= tag.toCharArray();
		for (int i= chars.length -1; i >= 0; i--)