如何在 .idea/misc.xml 中设置 Android Studio 的 project-jdk-name？

Question

与此问题类似，在将项目升级到 Android Studio 3.5 后，该.idea/misc.xml文件在两个开发人员之间不断切换，一个在 mac 上，另一个在 linux 上，如下行：

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="JDK" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/build/classes" />
   </component>
   <component name="ProjectType">

本质上，该project-jdk-name属性在值JDK或之间不断切换1.8。我查看了许多配置选项，但似乎找不到可以设置此值的位置，以避免它在两个平台上的提交之间发生更改。或者也许有一种方法可以忽略此特定行更改，同时允许更改文件的其余部分？