Fix building with eclipse