Forget everything known about the class file; that means, really start a new verification of a possibly different class file from BCEL's repository.
()
source not stored for this graph (policy: none)
no test coverage detected