scala/scala — pull request #948 by gkossakowski (2012-07-19 15:23:02+00:00)
Title: Deprecate all JVM 1.5 targets and make 1.6 default.

Add a check if deprecated target is being used. I put
that check into `checkDeprecatedSettings`. I tried to
invent some general mechanism for deprecating choices
in ChoiceSetting but I gave up eventually. It wasn't
worth it the complexity. Also, with current approach
I'm able to provide nice, customized deprecation
warning.

Make `jvm-1.6` a default backend.

Altered test for SI-5957 because it crashes the backend.
However, the problem is not with backend but with symbol
creation. We get two different symbols with the same
internal name and both are used in trees that reach
GenASM. See SI-6109 for details.

Also, I went through `build.xml` and I updated all `javac`
invocations so they target 1.6 byte-code as well.

Review by @magarciaEPFL, @paulp and @jsuereth.