+importJava "org.eclipse.core.runtime.SubMonitor" where
+ data SubMonitor
+
+ @JavaName convert
+ convertMonitor :: ProgressMonitor -> Integer -> <Proc> SubMonitor
+ newChild :: SubMonitor -> Integer -> <Proc> ProgressMonitor
+ split :: SubMonitor -> Integer -> <Proc> ProgressMonitor
+ @JavaName "worked"
+ workedSM :: SubMonitor -> Integer -> <Proc> ()
+