org.eclipse.jdt.core.tests.model/workspace/Converter/src/javadoc/test002/Test.java

package javadoc.test002;
import java.util.*;
public class Test {
/** 
 * @see Vector
 * @see java.util.Vector
 */
public void foo() {
}
}