This is not a bug but inconvenient for Eclipse users as it won't compile properly in the popular IDE.
We can fix it by being more precise with the usage of generics.