.getImageDescriptor(ISharedImages.IMG_ETOOL_CLEAR));
clear.setToolTipText("Clear coverage marking from editor");
}
private void makeRestoreAction() {
restore = new RestoreAction(viewer);
restore.setImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
.getImageDescriptor(ISharedImages.IMG_OBJ_FOLDER));
restore.setToolTipText("Restore previous results");
}