Small fix to RealWorker.java