[Javapathfinder-user] imports from bcel.jar

[Thomas R. <tri...@go...>]

Hi,
I have installed bcel5.2.jar and some classes are found - but not all:
AnnotationDefault cannot be resolved to a
type	javapathfinder-trunk/src/gov/nasa/jpf/jvm	AnnotationLoader.java	line
438

wkr Thomas