public void update(Observable o, Object arg) {
		String name, str, text, textFinal, requete;

		//textFinal = "<html><body style=\"font-family:Geneva,Arial,Helvetica,sans-serif;font-size:11px;\">";
		textFinal = "<html><body><PRE>";
		 
		text = mldCommand.getRequests() ;
		
		for (StringTokenizer st = new StringTokenizer(text, " (),<>;", true); st
					.hasMoreElements();) {
				str = st.nextToken() ;
					
					str = str.replace(";", "<br>") ;
					
					/*if (keywords.contains(str))
						textFinal += "<b style=\"color: blue;\">" + str + "</b>";
					else if (types.contains(str))
						textFinal += "<b style=\"color: red;\">" + str + "</b>";
					else if (str.equals("(") || str.equals(")"))
						textFinal += "<b>" + str + "</b>";
					else if (str.equals(";"))
						textFinal += ";<br><br>";
					else    */
						textFinal += str;
				
			}

		textFinal += "</PRE></body></html>";
		
		editor.setText(textFinal);
		 
	}