import java.io.InputStream;
import net.sourceforge.phpeclipse.PHPeclipsePlugin;
+import net.sourceforge.phpeclipse.builder.PHPBuilder;
import org.eclipse.core.resources.IFile;
-import org.eclipse.core.resources.IMarker;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.source.ISourceViewer;
IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
if (store.getString(PHPeclipsePlugin.PHP_PARSER_DEFAULT).equals(PHPeclipsePlugin.PHP_INTERNAL_PARSER)) {
// first delete all the previous markers
- fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);
-
+// fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);
+ PHPBuilder.removeProblemsAndTasksFor(fileToParse);
try {
InputStream iStream = fileToParse.getContents();
// int c = iStream.read();