org.eclipse.jdt.core.tests.model/workspace/Converter15/src/test0191/X.java

package test0191;

public class X<T, U extends Number> extends E<T, U> {
    void foo() {
    	java.util.Vector<java.lang.Object> v = 
            (java.util.Vector<java.lang.Object>) collection_upper_number;
    }
}