further work on dependency tool
Merge branch 'dependencies'
added Java switch case
use new switch label
enum typed extend java.lang.Enum
fixed widening conversion
don't waste memory creating a list that is too large (should create
singleton probably)
export new statements package
more finetuning of the dependency analyser
fixed a bug where type parameters were not boxed
added test cases
added test case for boxing during type inference
don't show dep on super when dep on sub
changed the name of the config file
operators now use Java method selectors such that boxing and unboxing
are taken into account properly
Merge branch 'infixselector'