another fix to get it working with eclipse