remove name clash with Job.manager in Eclipse 3.2 compilation