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

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> ()

importJava "org.eclipse.core.runtime.NullProgressMonitor" where
    @JavaName "<init>"
    createNullProgressMonitor :: () -> <Proc> ProgressMonitor

importJava "org.simantics.scl.osgi.SCLProgressMonitor" where
    data SCLProgressMonitor
    @JavaName "<init>"
    sclProgressMonitor :: (String -> Float -> <Proc> ()) -> (() -> <Proc> ()) -> (() -> <Proc> Boolean) -> (Boolean -> <Proc> ()) -> (String -> <Proc> ()) -> (String -> <Proc> ()) -> (Float -> <Proc> ()) -> <Proc> ProgressMonitor
    @JavaName "getWork"
    sclProgressMonitorWork :: SCLProgressMonitor -> <Proc> Float
    @JavaName "getSubTask"
    sclProgressMonitorSubTask :: SCLProgressMonitor -> <Proc> String