/*******************************************************************************
 * Copyright (c) 2019 Microsoft Research. All rights reserved. 
 *
 * The MIT License (MIT)
 * 
 * Permission is hereby granted, free of charge, to any person obtaining a copy 
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
 * of the Software, and to permit persons to whom the Software is furnished to do
 * so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in all
 * copies or substantial portions of the Software. 
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
 * AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 *
 * Contributors:
 *   Markus Alexander Kuppe - initial API and implementation
 ******************************************************************************/
package org.lamport.tla.toolbox.tool.tlc.output.data;

import java.util.Date;

import org.eclipse.core.runtime.Assert;
import org.eclipse.jface.resource.ImageDescriptor;
import org.lamport.tla.toolbox.tool.tlc.ui.TLCUIActivator;
import org.lamport.tla.toolbox.tool.tlc.ui.editor.ModelEditor;
import org.lamport.tla.toolbox.tool.tlc.ui.util.TLCUINotification;

public class CoverageUINotification extends TLCUINotification {

	private static final ImageDescriptor id = TLCUIActivator.getImageDescriptor("/icons/elcl16/quickfix_obj.png");
	
	private final ModelEditor editor;

	public CoverageUINotification(final ModelEditor editor) {
		super("Performance Hint",
				"TLC has been running for some\n"
				+ "time with coverage and cost\n"
				+ "statistics enabled. Please be advised\n"
				+ "that coverage and cost statistics\n"
				+ "negatively impact performance.\n"
				+ "For this reason, please consider\n"
				+ "turning statistics off on\n"
				+ "the advanced TLC options page and\n"
				+ "re-run model checking without it.",
				new Date());
		this.editor = editor;
		Assert.isNotNull(editor);
		
		setKindImage(id.createImage());
	}

	@Override
	public void open() {
		editor.addOrShowAdvancedTLCOptionsPage();
	}
}

@@ -2070,16 +2070,18 @@
 t%22,%0A%09%09%09%09
+  
 %22TLC has
@@ -2085,159 +2085,110 @@
 has 
-been running for some%5Cn%22%0A%09%09%09%09+ %22time with coverage and cost%5Cn%22%0A%09%09%09%09+ %22statistics enabled. Please be advised%5Cn%22%0A%09%09%09%09+ %22that coverage and cost statistics
+for some time been%5Cn%22%0A%09%09%09%09+ %22running with profiling enabled%5Cn%22%0A%09%09%09%09+ %22Please be advised that profiling
 %5Cn%22%0A
@@ -2211,16 +2211,17 @@
 y impact
+s
  perform
@@ -2291,25 +2291,28 @@
 ing 
-statistics
+profiling
  off on
+ the
 %5Cn%22%0A
@@ -2318,20 +2318,16 @@
 %0A%09%09%09%09+ %22
-the 
 advanced

Update verbiage to newest terminology.