sparta-code.iml

<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
  <component name="EclipseModuleManager">
    <libelement value="jar://$MODULE_DIR$/tests/stubfile/stub.jar!/" />
    <libelement value="jar://$MODULE_DIR$/../checker-framework/framework/tests/junit.jar!/" />
    <conelement value="com.android.ide.eclipse.adt.DEPENDENCIES" />
    <src_description expected_position="1">
      <src_folder value="file://$MODULE_DIR$/src" expected_position="1" />
      <src_folder value="file://$MODULE_DIR$/tests/src" expected_position="2" />
      <src_folder value="com.android.ide.eclipse.adt.ANDROID_FRAMEWORK" expected_position="4" />
      <src_folder value="com.android.ide.eclipse.adt.LIBRARIES" expected_position="6" />
    </src_description>
  </component>
  <component name="NewModuleRootManager" inherit-compiler-output="false">
    <output url="file://$MODULE_DIR$/bin" />
    <exclude-output />
    <content url="file://$MODULE_DIR$">
      <sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
      <sourceFolder url="file://$MODULE_DIR$/tests/src" isTestSource="false" />
    </content>
    <orderEntry type="module" module-name="jsr308-langtools" />
    <orderEntry type="sourceFolder" forTests="false" />
    <orderEntry type="inheritedJdk" />
    <orderEntry type="module-library">
      <library name="stub.jar">
        <CLASSES>
          <root url="jar://$MODULE_DIR$/tests/stubfile/stub.jar!/" />
        </CLASSES>
        <JAVADOC />
        <SOURCES />
      </library>
    </orderEntry>
    <orderEntry type="library" exported="" name="com.android.ide.eclipse.adt.DEPENDENCIES" level="application" />
    <orderEntry type="module" module-name="dataflow" />
    <orderEntry type="module" module-name="framework" />
    <orderEntry type="module" module-name="checker" />
    <orderEntry type="module-library">
      <library>
        <CLASSES>
          <root url="jar://$MODULE_DIR$/../checker-framework/framework/tests/hamcrest-core-1.3.jar!/" />
        </CLASSES>
        <JAVADOC />
        <SOURCES />
      </library>
    </orderEntry>
    <orderEntry type="module-library">
      <library>
        <CLASSES>
          <root url="jar://$MODULE_DIR$/../checker-framework/framework/tests/junit-4.12.jar!/" />
        </CLASSES>
        <JAVADOC />
        <SOURCES />
      </library>
    </orderEntry>
  </component>
</module>