deps.setLength(dependencies.length);
for (int i = 0; i<deps.length(); i++)
deps.set(i, dependencies[i]);
// create progress indicator
final ProgressIndicator progress = new GlobalProgressDelayer(
globalDisplay_,
250,
progressCaption + "...").getIndicator();
// query for unsatisfied dependencies