FileDocCategorySizeDatePackage
ImportNonPublic.javaAPI DocExample78Sun Dec 27 15:20:30 GMT 1998None

ImportNonPublic.java

import java.util.VectorEnumerator;	// EXPECT COMPILE ERROR
public class X {
}