} catch (IOException ignored) {
        public void run() {            synchronized (this) {                // Just in case this object is reused in the future.                this.finished = false;            }            try {                pumpStream();            } catch (IOException ignored) {            } finally {                synchronized (this) {                    this.finished = true;                    notify();                }            }        }