fix for Eclipse integration