Fixing compatibility with Eclipse.