Fixed non-termination bug in DataFlowAnalysis.
Added draft implementation for local types analysis.
Improved testing framework by adding comparison with javac and including bytecode in the error message.
Enabled parsing of Java files without package declaration.
Added while statement.
Added AssignmentWithJump test case.
Fixed bugs in getInstructionSize.
Finished LocalTypeAnalysis.
Fixed bug related to object types not being represented correctly in byteCode.
Fixed bug in constantPool that occurred when wrapping an existing sequence of constants.
TestObjectTypeUnification now succeeds :D
Improvements to architecture visualization.
 - Added the concept of simplifications.
 - Added pruning of redundant edges.
Some improvement to architecture visualization.
visualization improvement
Rename
Visualization improvements.
Rename and added missing file.
More visualization improvements.
Split return in a void and an expression transformation.
Split Literal into number and boolean.
Preparations for splitting method and class.
Did some split between method and class.
Moved method model into MethodPart
Moved Java class model
Some renames.
Dependency changes.
Moved some files.
Split VariableC and SelectorC into a method and a class part.
Changed some dependencies.
Small refactoring.