Changes

Summary

Switch from Java 1.8 to 11. (details)

Commit 582683b23c6e125cacebe9562ad5e05d9c649cf0 by Alberto Debiasi Switch from Java 1.8 to 11.
The file was modified	plugins/org.polarsys.chess.checkers/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/VariableDefinition.java
The file was modified	plugins/org.polarsys.chess.patterns.profile/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/FlaDslAntlrTokenFileProvider.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/OutFailureExpr.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/FlaDslParser.java
The file was modified	plugins/org.polarsys.chess.smvExporter/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ide/target/classes/org/polarsys/chess/xtext/ide/.FlaDslIdeModule.java._trace
The file was modified	plugins/org.polarsys.chess.checkers/.classpath
The file was modified	plugins/org.polarsys.chess.diagram.ui/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Davoidable.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Imitigation.java
The file was modified	plugins/fla/org.polarsys.chess.fla.faultTreeGenerator/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.mainmenu/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/NoFailureDefinition.java
The file was modified	plugins/sba/org.polarsys.chess.statebased/.classpath
The file was modified	plugins/mobius/org.polarsys.chess.mobius.preferences/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.customEditors/.classpath
The file was modified	plugins/org.polarsys.chess.mainmenu/.classpath
The file was modified	plugins/mobius/org.polarsys.chess.mobius.model.edit/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MeasuredValueItemProvider.class
The file was modified	plugins/contracts/org.polarsys.chess.contracts.chessextension/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FailureDefinition.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/VariableDefinitionImpl.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/internal/InternalFlaDslLexer.java
The file was modified	plugins/org.polarsys.chess.paramArchConfigurator/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ide/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/FlaDslPackageImpl.java
The file was modified	plugins/org.polarsys.chess.multicore/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.smvExporter/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Iavoidable.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/.classpath
The file was modified	plugins/org.polarsys.chess.cleanCExporter/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringxmlItemProviderAdapterFactory.class
The file was modified	plugins/org.polarsys.chess.commands/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ide/.classpath
The file was modified	plugins/org.polarsys.chess.xtext.global/.classpath
The file was modified	plugins/fla/org.polarsys.chess.fla.transformations/.classpath
The file was modified	plugins/contracts/org.polarsys.chess.contracts.contractEditor/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.fla/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ExecutionTimeItemProvider.class
The file was modified	plugins/mobius/org.polarsys.chess.mobius.preferences/bin/org/polarsys/chess/mobius/preferences/MobiusPreferencePage.class
The file was modified	plugins/org.polarsys.chess.monitoring.editor/.classpath
The file was modified	plugins/mobius/org.polarsys.chess.mobius.preferences/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/ACIDavoidable.java
The file was modified	plugins/fla/org.polarsys.chess.fla.flaxml/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/WildcardDefinitionImpl.java
The file was modified	plugins/org.polarsys.chess.codegen.ada/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.patterns.library/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/internal/InternalFlaDsl.g
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Definitions.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/services/FlaDslGrammarAccess.java
The file was modified	plugins/org.polarsys.chess.tabbedproperties/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.core/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringEditPlugin$Implementation.class
The file was modified	plugins/contracts/org.polarsys.chess.contracts.transformations/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/DefinitionsImpl.java
The file was modified	plugins/org.polarsys.chess.test.runtime/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.integration/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.fla.flamm/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/validation/AbstractFlaDslValidator.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen/org/polarsys/chess/xtext/ui/AbstractFlaDslUiModule.java
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ResponseTimeItemProvider.class
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/OutputExpressionImpl.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.chessextension/.classpath
The file was modified	plugins/org.polarsys.chess.core/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/InputExpressionImpl.java
The file was modified	plugins/org.polarsys.chess.cleanCExporter/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/InFailureExpr.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/RhsImpl.java
The file was modified	plugins/mobius/org.polarsys.chess.mobius.model.editor/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.validator/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Lhs.java
The file was modified	plugins/org.polarsys.chess.tradeoffAnalysis/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.customEditors/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/ACIDMitigation.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/BehaviourImpl.java
The file was modified	plugins/fla/org.polarsys.chess.fla.flamm/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/InputExpression.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.validation/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/AbstractFlaDslRuntimeModule.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Behaviour.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/util/FlaDslAdapterFactory.java
The file was modified	plugins/org.polarsys.chess.tabbedproperties/.classpath
The file was modified	plugins/contracts/org.polarsys.chess.contracts.profile/.classpath
The file was modified	plugins/mobius/org.polarsys.chess.mobius.model.edit/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.instance.view/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/FlaDslFactoryImpl.java
The file was modified	plugins/org.polarsys.chess.instance.view/.classpath
The file was modified	plugins/fla/org.polarsys.chess.fla.faultTreeGenerator/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Cavoidable.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/parser/antlr/internal/InternalFlaDslParser.java
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ResourceItemProvider.class
The file was modified	plugins/fla/org.polarsys.chess.fla/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.test.runtime/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Aavoidable.java
The file was modified	plugins/org.polarsys.chess.properties.propertyEditor/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ExpressionImpl.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/META-INF/MANIFEST.MF
The file was modified	plugins/mobius/org.polarsys.chess.mobius/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.tests/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Dmitigation.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/FlaDslStandaloneSetupGenerated.java
The file was modified	plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/.classpath
The file was modified	plugins/mobius/org.polarsys.chess.mobius.model/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.patterns.library/.classpath
The file was modified	plugins/org.polarsys.chess.service/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ui/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/ComplexNofailureDefinition.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Expression.java
The file was modified	plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.refinementView/.classpath
The file was modified	plugins/org.polarsys.chess.OSSImporter/.classpath
The file was modified	plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/ThreadItemProvider.class
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Amitigation.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ComplexNofailureDefinitionImpl.java
The file was modified	plugins/org.polarsys.chess.commands/.classpath
The file was modified	plugins/org.polarsys.chess.diagram.ui/.classpath
The file was modified	plugins/fla/org.polarsys.chess.fla.transformations/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/PeriodItemProvider.class
The file was modified	plugins/org.polarsys.chess.patterns/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/BlockingTimeItemProvider.class
The file was modified	plugins/org.polarsys.chess.service/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/OutputExpression.java
The file was modified	plugins/org.polarsys.chess.paramArchConfigurator/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.OSSImporter/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.fla.flaxml/.classpath
The file was modified	plugins/contracts/org.polarsys.chess.contracts.transformations/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/InFailureExprImpl.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/util/FlaDslSwitch.java
The file was modified	plugins/org.polarsys.chess.constraints.constraintEditor/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/AnalysisContextItemProvider.class
The file was modified	plugins/mobius/org.polarsys.chess.mobius/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.editor/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringItemProvider.class
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FailureType.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/model/generated/FlaDsl.genmodel
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ui/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoredResourceItemProvider.class
The file was modified	plugins/org.polarsys.chess.patterns.profile/.classpath
The file was modified	plugins/contracts/org.polarsys.chess.contracts.validation/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.properties.propertyEditor/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring.edit/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Cmitigation.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/Rhs.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/FailureDefinitionImpl.java
The file was modified	plugins/org.polarsys.chess.wizards/.classpath
The file was modified	plugins/mobius/org.polarsys.chess.mobius.model.editor/.classpath
The file was modified	plugins/org.polarsys.chess.patterns/META-INF/MANIFEST.MF
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FlaDslFactory.java
The file was modified	plugins/sba/org.polarsys.chess.statebased/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.refinementView/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.m2m/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/FlaDslPackage.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ACIDavoidableImpl.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/LhsImpl.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/NoFailureDefinitionImpl.java
The file was modified	plugins/org.polarsys.chess.monitoring.tests/.classpath
The file was modified	plugins/contracts/org.polarsys.chess.contracts.contractEditor/.classpath
The file was modified	plugins/org.polarsys.chess.multicore/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/META-INF/MANIFEST.MF
The file was modified	plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.constraints.constraintEditor/.classpath
The file was modified	plugins/org.polarsys.chess.m2m/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.chessmlprofile/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.chessmlprofile/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen/org/polarsys/chess/xtext/ui/FlaDslExecutableExtensionFactory.java
The file was modified	plugins/org.polarsys.chess.monitoring/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.monitoring/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/OutFailureExprImpl.java
The file was modified	plugins/org.polarsys.chess.codegen.ada/.classpath
The file was modified	plugins/org.polarsys.chess.wizards/META-INF/MANIFEST.MF
The file was modified	plugins/mobius/org.polarsys.chess.mobius.model/.classpath
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/WildcardDefinition.java
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen/org/polarsys/chess/xtext/flaDsl/impl/ACIDMitigationImpl.java
The file was modified	plugins/org.polarsys.chess.xtext.global/META-INF/MANIFEST.MF
The file was modified	plugins/org.polarsys.chess.validator/.classpath
The file was modified	plugins/org.polarsys.chess.tradeoffAnalysis/.classpath
The file was modified	plugins/org.polarsys.chess.monitoring.edit/bin/monitoringxml/provider/MonitoringEditPlugin.class
The file was modified	plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen/org/polarsys/chess/xtext/ui/contentassist/AbstractFlaDslProposalProvider.java