—————————
import java.util.*;

class Foo extends Bar {
}
—————————
class Bar {
ArrayList list;
}
—————————

ArrayList will be qualified, which is of course incorrect. Every type declaration should be reclassified in a fresh environment.

Submitted on 20 February 2006 at 11:48