Athrow instruction added.
@NonNull added to 'other' argument of ReturnResult.merge().
List of classes to be checked extended.
AssertionError message refined.
CreationChecking extended from checking if a certain type is created to
returning the list of created types.
Code in InvokeVirtual.resolveTargetMethod() commented out to make it
return the AlienMethod.
Program.confinedClasses() revised such that only 
classes that create any relevant instances are checked for method
confinement.
New import added.
Obsolete method EscapingTypes.iterator() removed.
All jea classes added, escaping classes listed in the result output.
Program.escapingClasses() added.
Import added.
This Class provides a static method isRunnable() that, given a type
name, checks if the type implements the Runnable interface.
For all array related new instructions, set type to empty String rather
than null.
Allow to create internal objects with an escape state other than
NO_ESCAPE. Useful for newly created thread objects.
In NewInstruction.framesOut(), if the type of the newly to be created
instance implements Runnable, then create an object with escape state
GLOBAL_ESCAPE. Closes #2.