html, "@", true);
StringBuilder resultHtml = new StringBuilder();
boolean tokenFound = false;
boolean replacementMade = false;
IDiagramPreference pref = PREFERENCE_FACTORY.createPreference(request);
int autoSaveInt = pref.getAutosaveInterval();
boolean autoSaveOn = pref.isAutoSaveEnabled();
while(tokenizer.hasMoreTokens()) {
String elt = tokenizer.nextToken();
if ("title".equals(elt)) {
resultHtml.append(profile.getTitle());