code: private void warnOfContentChange()
  	{
  		IConsole[] consoles = ConsolePlugin.getDefault().getConsoleManager().getConsoles();
  		for (IConsole iConsole : consoles)
  		{
  			if (iConsole instanceof VdmDebugConsole)
  			{
  				VdmDebugConsole vdmC = (VdmDebugConsole) iConsole;
  				vdmC.activate();
  			}
  		}
  
  		// if (warn != null) {
  		// ConsolePlugin.getDefault().getConsoleManager()
  		// .warnOfContentChange(warn);
  		// }
  	}
docs: send notification of a change of content in this console