a small hack to keep eclipse happy with the build path