/** Wait until the compiler job queue is empty, then return. */
public void waitForEmptyQueue() {
synchronized (thread) {
while (thread.isBusy()) {
try {
thread.wait();
} catch (InterruptedException ex) {
}
}
}
}
