[bmc7505]

Note that the first example compiles without any further changes, producing valid JVM bytecode.