ProgressMonitor f�r "Repository neu einlesen"
Authored by: preuss 2005-08-26
Parent: [r895]
Child: [r897]