+importJava "org.eclipse.core.runtime.IProgressMonitor" where\r
+ data ProgressMonitor\r
+ \r
+ beginTask :: ProgressMonitor -> String -> Integer -> <Proc> ()\r
+ worked :: ProgressMonitor -> Integer -> <Proc> () \r
+ done :: ProgressMonitor -> <Proc> ()\r
+ isCanceled :: ProgressMonitor -> Boolean\r
+ setCanceled :: ProgressMonitor -> Boolean -> <Proc> ()\r
+ subTask :: ProgressMonitor -> String -> <Proc> ()\r
+\r
+importJava "org.eclipse.core.runtime.NullProgressMonitor" where\r
+ @JavaName "<init>"\r
+ createNullProgressMonitor :: () -> <Proc> ProgressMonitor\r