Oops, probably an eclipse caching problem.