Desugar package definitions and references.
Added examples that showcase Java static semantics.
Use Java 1.3 compiler since we are targeting that.