public FormattingPrefix(String string, char start, char end, int kind) { fStart= string.indexOf(start); fEnd= string.lastIndexOf(end);
public FormattingPrefix(String string, String sub, int kind) { fStart= string.indexOf(sub); fEnd= fStart + sub.length() - 1;
		public FormattingPrefix(String string, char start, char end, int kind) {			fStart= string.indexOf(start);			fEnd= string.lastIndexOf(end);			fString= string;			fKind= kind;		}