Fix build in Eclipse