A leightweight progress window for Java with modality functions