}
/* (non-Javadoc)
- * @see org.eclipse.jdt.internal.core.JavaModelOperation#executeOperation()
+ * @see net.sourceforge.phpdt.internal.core.JavaModelOperation#executeOperation()
*/
protected void executeOperation() throws JavaModelException {
try {
- this.runnable.run(fMonitor);
+ this.runnable.run(progressMonitor);
} catch (CoreException ce) {
if (ce instanceof JavaModelException) {
throw (JavaModelException)ce;
}
/* (non-Javadoc)
- * @see org.eclipse.jdt.internal.core.JavaModelOperation#verify()
+ * @see net.sourceforge.phpdt.internal.core.JavaModelOperation#verify()
*/
protected IJavaModelStatus verify() {
// cannot verify user defined operation