Set -source and -target in ContractJavaCompiler.

nhatminhle / cofoja

Contracts for Java

GNU Lesser General Public License v3.0

151 stars 18 forks source link

Closed cushon closed 9 years ago

cushon commented 9 years ago

Compilations should target the highest language version supported by the runtime, rather than the highest version supported by the compiler.

nhatminhle commented 9 years ago

Thanks, could you change the small stylistic things I've pointed out in the review comments so it matches the current code base?

cushon commented 9 years ago

The style issues are fixed.

nhatminhle commented 9 years ago

Rebased into 6acd1ca.