[news.eclipse.tools.jdt] Useless cast

[Name <none@xxxxxxxxxxxxxx>]

Hi, i found out that eclipse do not emit a warning for this code:

    	Vector<Integer> v= m.surligne;

    	if (v!=null)
		for (int u = 0; u<v.size();u++)
			if (((Integer) v.get(u))==1) // <= here
    				foo(u);

Should i report a bug ?