src/Tools/Setup/.idea/modules.xml

basic setup of Isabelle setup tool --- pure Java, no dependencies;

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="ProjectModuleManager">
    <modules>
      <module fileurl="file://$PROJECT_DIR$/Setup.iml" filepath="$PROJECT_DIR$/Setup.iml" />
    </modules>
  </component>
</project>