La clé languageLevel passe de JDK_1_8 à JDK_1_7 pour des raisons que je ne connais pas.
Que pourrait-il se passer?
Est-ce que cela a quelque chose à voir avec l'EDI d'autres développeurs travaillant sur le projet? Peut-être ont-ils un autre paramètre Android Studio?
Voici ce qui apparaît après avoir remarqué que les fichiers sous contrôle de code source ont changé:
$ git diff
diff --git a/.idea/misc.xml b/.idea/misc.xml
index fbb6828..5d19981 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -37,7 +37,7 @@
<ConfirmationsSetting value="0" id="Add" />
<ConfirmationsSetting value="0" id="Remove" />
</component>
- <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="true" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/build/classes" />
</component>
<component name="ProjectType">
Ceci est mon gitignore au cas où cela importerait.
.gradle
/local.properties
/.idea/workspace.xml
/.idea/libraries
.DS_Store
/build
/captures
Comment procéder pour que ça reste dans un sens ou dans l'autre?