|
Lines 695-701
Link Here
|
| 695 |
} |
695 |
} |
| 696 |
if ((optionValue = optionsMap.get(OPTION_TargetPlatform)) != null) { |
696 |
if ((optionValue = optionsMap.get(OPTION_TargetPlatform)) != null) { |
| 697 |
long level = versionToJdkLevel(optionValue); |
697 |
long level = versionToJdkLevel(optionValue); |
| 698 |
if (level != 0) this.targetJDK = level; |
698 |
if (level != 0) { |
|
|
699 |
// TODO see 206483 |
| 700 |
if (level == ClassFileConstants.JDK1_7) { |
| 701 |
level = ClassFileConstants.JDK1_6; |
| 702 |
} |
| 703 |
this.targetJDK = level; |
| 704 |
} |
| 699 |
if (this.targetJDK >= ClassFileConstants.JDK1_5) this.inlineJsrBytecode = true; // forced from 1.5 mode on |
705 |
if (this.targetJDK >= ClassFileConstants.JDK1_5) this.inlineJsrBytecode = true; // forced from 1.5 mode on |
| 700 |
} |
706 |
} |
| 701 |
if ((optionValue = optionsMap.get(OPTION_Encoding)) != null) { |
707 |
if ((optionValue = optionsMap.get(OPTION_Encoding)) != null) { |
