gradle.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="GradleMigrationSettings" migrationVersion="1" />
  <component name="GradleSettings">
    <option name="linkedExternalProjectsSettings">
      <GradleProjectSettings>
        <option name="externalProjectPath" value="$PROJECT_DIR$/components/ide/jetbrains/backend-plugin" />
        <option name="modules">
          <set>
            <option value="$PROJECT_DIR$/components/gitpod-protocol/java" />
            <option value="$PROJECT_DIR$/components/ide/jetbrains/backend-plugin" />
            <option value="$PROJECT_DIR$/components/supervisor-api/java" />
          </set>
        </option>
      </GradleProjectSettings>
      <GradleProjectSettings>
        <option name="externalProjectPath" value="$PROJECT_DIR$/components/ide/jetbrains/gateway-plugin" />
        <option name="modules">
          <set>
            <option value="$PROJECT_DIR$/components/gitpod-protocol/java" />
            <option value="$PROJECT_DIR$/components/ide/jetbrains/gateway-plugin" />
          </set>
        </option>
      </GradleProjectSettings>
      <GradleProjectSettings>
        <option name="externalProjectPath" value="$PROJECT_DIR$/components/public-api/java" />
        <option name="modules">
          <set>
            <option value="$PROJECT_DIR$/components/public-api/java" />
          </set>
        </option>
      </GradleProjectSettings>
    </option>
  </component>
</project>