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