+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
- <classpathentry kind="src" output="build/main" path="src/main"/>
- <classpathentry kind="src" output="build/peers" path="src/peers"/>
- <classpathentry kind="src" output="build/classes" path="src/classes"/>
- <classpathentry kind="src" output="build/annotations" path="src/annotations"/>
- <classpathentry kind="src" output="build/examples" path="src/examples"/>
- <classpathentry kind="src" output="build/tests" path="src/tests"/>
- <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
- <classpathentry kind="output" path="build"/>
-</classpath>
+++ /dev/null
-jpf-core
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="false">
- <output url="file://$MODULE_DIR$/build/annotations" />
- <output-test url="file://$MODULE_DIR$/build/annotations" />
- <exclude-output />
- <content url="file://$MODULE_DIR$/src/annotations">
- <sourceFolder url="file://$MODULE_DIR$/src/annotations" isTestSource="false" />
- </content>
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- </component>
-</module>
+++ /dev/null
-<component name="ArtifactManager">
- <artifact type="jar" build-on-make="true" name="RunJPF">
- <output-path>$PROJECT_DIR$/build</output-path>
- <root id="archive" name="RunJPF.jar">
- <element id="directory" name="META-INF">
- <element id="file-copy" path="$PROJECT_DIR$/META-INF/RunJPF/MANIFEST.MF" />
- </element>
- <element id="directory" name="gov">
- <element id="directory" name="nasa">
- <element id="directory" name="jpf">
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/Config.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/Config$MissingRequiredKeyException.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFClassLoader.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFConfigException.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFShell.class" />
- <element id="directory" name="tool">
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/tool/Run.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/tool/RunJPF.class" />
- </element>
- <element id="directory" name="util">
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/JPFSiteUtils.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/FileUtils.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/StringMatcher.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/Pair.class" />
- </element>
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/JPFException.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/ConfigChangeListener.class" />
- </element>
- </element>
- </element>
- </root>
- </artifact>
-</component>
\ No newline at end of file
+++ /dev/null
-<component name="ArtifactManager">
- <artifact type="jar" build-on-make="true" name="jpf">
- <output-path>$PROJECT_DIR$/build</output-path>
- <root id="archive" name="jpf.jar">
- <element id="module-output" name="main" />
- <element id="module-output" name="peers" />
- <element id="module-output" name="annotations" />
- <element id="directory" name="org">
- <element id="directory" name="junit">
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/After.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/AfterClass.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Before.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/BeforeClass.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Ignore.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Test$None.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/classes/org/junit/Test.class" />
- </element>
- </element>
- </root>
- </artifact>
-</component>
\ No newline at end of file
+++ /dev/null
-<component name="ArtifactManager">
- <artifact type="jar" build-on-make="true" name="jpf-annotations">
- <output-path>$PROJECT_DIR$/build</output-path>
- <root id="archive" name="jpf-annotations.jar">
- <element id="module-output" name="annotations" />
- </root>
- </artifact>
-</component>
\ No newline at end of file
+++ /dev/null
-<component name="ArtifactManager">
- <artifact type="jar" build-on-make="true" name="jpf-classes">
- <output-path>$PROJECT_DIR$/build</output-path>
- <root id="archive" name="jpf-classes.jar">
- <element id="module-output" name="classes" />
- <element id="module-output" name="annotations" />
- <element id="directory" name="gov">
- <element id="directory" name="nasa">
- <element id="directory" name="jpf">
- <element id="directory" name="vm">
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/vm/Verify.class" />
- </element>
- <element id="directory" name="util">
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/TypeRef.class" />
- <element id="directory" name="test">
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestJPF.class" />
- <element id="file-copy" path="$PROJECT_DIR$/build/main/gov/nasa/jpf/util/test/TestMultiProcessJPF.class" />
- </element>
- </element>
- </element>
- </element>
- </element>
- </root>
- </artifact>
-</component>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="false">
- <output url="file://$MODULE_DIR$/build/classes" />
- <output-test url="file://$MODULE_DIR$/build/classes" />
- <exclude-output />
- <content url="file://$MODULE_DIR$/src/classes">
- <sourceFolder url="file://$MODULE_DIR$/src/classes" isTestSource="false" />
- </content>
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- <orderEntry type="module" module-name="annotations" />
- <orderEntry type="module" module-name="main" />
- </component>
-</module>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
- <component name="ProjectCodeStyleSettingsManager">
- <option name="PER_PROJECT_SETTINGS">
- <value>
- <XML>
- <option name="XML_LEGACY_SETTINGS_IMPORTED" value="true" />
- </XML>
- </value>
- </option>
- <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default (1)" />
- </component>
-</project>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
- <component name="CompilerConfiguration">
- <option name="DEFAULT_COMPILER" value="Javac" />
- <resourceExtensions />
- <wildcardResourcePatterns>
- <entry name="!?*.java" />
- <entry name="!?*.form" />
- <entry name="!?*.class" />
- <entry name="!?*.groovy" />
- <entry name="!?*.scala" />
- <entry name="!?*.flex" />
- <entry name="!?*.kt" />
- <entry name="!?*.clj" />
- </wildcardResourcePatterns>
- <annotationProcessing>
- <profile default="true" name="Default" enabled="false">
- <processorPath useClasspath="true" />
- </profile>
- </annotationProcessing>
- <bytecodeTargetLevel target="1.8" />
- </component>
-</project>
\ No newline at end of file
+++ /dev/null
-<component name="CopyrightManager">
- <settings default="" />
-</component>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
- <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" />
-</project>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="false">
- <output url="file://$MODULE_DIR$/build/examples" />
- <output-test url="file://$MODULE_DIR$/build/examples" />
- <exclude-output />
- <content url="file://$MODULE_DIR$/src/examples">
- <sourceFolder url="file://$MODULE_DIR$/src/examples" isTestSource="false" />
- </content>
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- <orderEntry type="module" module-name="annotations" />
- <orderEntry type="module" module-name="main" />
- <orderEntry type="module" module-name="peers" />
- </component>
-</module>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="false">
- <output url="file://$MODULE_DIR$/build/main" />
- <output-test url="file://$MODULE_DIR$/build/main" />
- <exclude-output />
- <content url="file://$MODULE_DIR$/src/main">
- <sourceFolder url="file://$MODULE_DIR$/src/main" isTestSource="false" />
- </content>
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- <orderEntry type="module" module-name="annotations" />
- </component>
-</module>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
- <component name="ClientPropertiesManager">
- <properties class="javax.swing.AbstractButton">
- <property name="hideActionText" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JComponent">
- <property name="html.disable" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JEditorPane">
- <property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" />
- <property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" />
- <property name="charset" class="java.lang.String" />
- </properties>
- <properties class="javax.swing.JList">
- <property name="List.isFileList" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JPasswordField">
- <property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JSlider">
- <property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" />
- <property name="JSlider.isFilled" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JTable">
- <property name="Table.isFileList" class="java.lang.Boolean" />
- <property name="JTable.autoStartsEdit" class="java.lang.Boolean" />
- <property name="terminateEditOnFocusLost" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JToolBar">
- <property name="JToolBar.isRollover" class="java.lang.Boolean" />
- </properties>
- <properties class="javax.swing.JTree">
- <property name="JTree.lineStyle" class="java.lang.String" />
- </properties>
- <properties class="javax.swing.text.JTextComponent">
- <property name="caretAspectRatio" class="java.lang.Double" />
- <property name="caretWidth" class="java.lang.Integer" />
- </properties>
- </component>
- <component name="EntryPointsManager">
- <entry_points version="2.0" />
- </component>
- <component name="ProjectLevelVcsManager" settingsEditedManually="false">
- <OptionsSetting value="true" id="Add" />
- <OptionsSetting value="true" id="Remove" />
- <OptionsSetting value="true" id="Checkout" />
- <OptionsSetting value="true" id="Update" />
- <OptionsSetting value="true" id="Status" />
- <OptionsSetting value="true" id="Edit" />
- <ConfirmationsSetting value="0" id="Add" />
- <ConfirmationsSetting value="0" id="Remove" />
- </component>
- <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
- <output url="file://$PROJECT_DIR$/build" />
- </component>
-</project>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
- <component name="ProjectModuleManager">
- <modules>
- <module fileurl="file://$PROJECT_DIR$/.idea/annotations.iml" filepath="$PROJECT_DIR$/.idea/annotations.iml" />
- <module fileurl="file://$PROJECT_DIR$/.idea/classes.iml" filepath="$PROJECT_DIR$/.idea/classes.iml" />
- <module fileurl="file://$PROJECT_DIR$/.idea/examples.iml" filepath="$PROJECT_DIR$/.idea/examples.iml" />
- <module fileurl="file://$PROJECT_DIR$/.idea/main.iml" filepath="$PROJECT_DIR$/.idea/main.iml" />
- <module fileurl="file://$PROJECT_DIR$/.idea/peers.iml" filepath="$PROJECT_DIR$/.idea/peers.iml" />
- <module fileurl="file://$PROJECT_DIR$/.idea/tests.iml" filepath="$PROJECT_DIR$/.idea/tests.iml" />
- </modules>
- </component>
-</project>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="false">
- <output url="file://$MODULE_DIR$/build/peers" />
- <output-test url="file://$MODULE_DIR$/build/peers" />
- <exclude-output />
- <content url="file://$MODULE_DIR$/src/peers">
- <sourceFolder url="file://$MODULE_DIR$/src/peers" isTestSource="false" />
- </content>
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- <orderEntry type="module" module-name="main" />
- <orderEntry type="module" module-name="annotations" />
- </component>
-</module>
+++ /dev/null
-<component name="ProjectRunConfigurationManager">
- <configuration default="false" name="run-example-jpf" type="ContextRunConfiguration" factoryName="ContextRun">
- <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
- <option name="MAIN_CLASS_NAME" value="gov.nasa.jpf.JPF" />
- <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
- <option name="PROGRAM_PARAMETERS" value="$FilePath$" />
- <option name="WORKING_DIRECTORY" value="" />
- <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
- <option name="ALTERNATIVE_JRE_PATH" value="" />
- <option name="ENABLE_SWING_INSPECTOR" value="false" />
- <option name="ENV_VARIABLES" />
- <option name="PASS_PARENT_ENVS" value="true" />
- <module name="examples" />
- <envs />
- <RunnerSettings RunnerId="Debug">
- <option name="DEBUG_PORT" value="" />
- <option name="TRANSPORT" value="0" />
- <option name="LOCAL" value="true" />
- </RunnerSettings>
- <RunnerSettings RunnerId="Run" />
- <ConfigurationWrapper RunnerId="Debug" />
- <ConfigurationWrapper RunnerId="Run" />
- <method />
- </configuration>
-</component>
\ No newline at end of file
+++ /dev/null
-<component name="ProjectRunConfigurationManager">
- <configuration default="false" name="run-test" type="ContextRunConfiguration" factoryName="ContextRun">
- <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
- <option name="MAIN_CLASS_NAME" value="gov.nasa.jpf.tool.RunTest" />
- <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
- <option name="PROGRAM_PARAMETERS" value="$FileClass$ $SelectedText$" />
- <option name="WORKING_DIRECTORY" value="" />
- <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
- <option name="ALTERNATIVE_JRE_PATH" value="" />
- <option name="ENABLE_SWING_INSPECTOR" value="false" />
- <option name="ENV_VARIABLES" />
- <option name="PASS_PARENT_ENVS" value="true" />
- <module name="tests" />
- <envs />
- <RunnerSettings RunnerId="Run" />
- <ConfigurationWrapper RunnerId="Run" />
- <method />
- </configuration>
-</component>
\ No newline at end of file
+++ /dev/null
-<component name="DependencyValidationManager">
- <state>
- <option name="SKIP_IMPORT_STATEMENTS" value="false" />
- </state>
-</component>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="false">
- <output url="file://$MODULE_DIR$/build/tests" />
- <output-test url="file://$MODULE_DIR$/build/tests" />
- <exclude-output />
- <content url="file://$MODULE_DIR$/src/tests">
- <sourceFolder url="file://$MODULE_DIR$/src/tests" isTestSource="false" />
- </content>
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- <orderEntry type="module" module-name="annotations" />
- <orderEntry type="module" module-name="main" />
- <orderEntry type="module" module-name="classes" />
- <orderEntry type="module" module-name="peers" />
- </component>
-</module>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
- <component name="VcsDirectoryMappings">
- <mapping directory="$PROJECT_DIR$" vcs="hg4idea" />
- </component>
-</project>
\ No newline at end of file
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
- <name>jpf-core</name>
- <comment></comment>
- <projects>
- </projects>
- <buildSpec>
- <buildCommand>
- <name>org.eclipse.jdt.core.javabuilder</name>
- <arguments>
- </arguments>
- </buildCommand>
- <buildCommand>
- <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
- <arguments>
- <dictionary>
- <key>LaunchConfigHandle</key>
- <value><project>/eclipse/AntBuilder.launch</value>
- </dictionary>
- </arguments>
- </buildCommand>
- </buildSpec>
- <natures>
- <nature>org.eclipse.jdt.core.javanature</nature>
- </natures>
-</projectDescription>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>\r
-<launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType">\r
-<stringAttribute key="org.eclipse.ant.ui.ATTR_ANT_CLEAN_TARGETS" value="clean,"/>\r
-<booleanAttribute key="org.eclipse.ant.ui.ATTR_TARGETS_UPDATED" value="true"/>\r
-<booleanAttribute key="org.eclipse.ant.ui.DEFAULT_VM_INSTALL" value="true"/>\r
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"/>\r
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"/>\r
-<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>\r
-<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>\r
-<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="true"/>\r
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.ui.antsupport.InternalAntRunner"/>\r
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>\r
-<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${build_project}/build.xml"/>\r
-<stringAttribute key="org.eclipse.ui.externaltools.ATTR_RUN_BUILD_KINDS" value="full,incremental,auto,clean"/>\r
-<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/>\r
-<stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>\r
-</launchConfiguration>\r
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunJPF.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.eclipse.jdt.launching.sourceLocator.JavaSourceLookupDirector"/>
-<stringAttribute key="org.eclipse.debug.core.source_locator_memento" value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <sourceLookupDirector> <sourceContainers duplicates="false"> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;javaProject name=&quot;jpf-core&quot;/&gt;&#10;" typeId="org.eclipse.jdt.launching.sourceContainer.javaProject"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;packageFragmentRoot handle=&quot;=jpf-core/lib\/junit-4.10.jar&quot;/&gt;&#10;" typeId="org.eclipse.jdt.launching.sourceContainer.packageFragmentRoot"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;default/&gt;&#10;" typeId="org.eclipse.debug.core.containerType.default"/> </sourceContainers> </sourceLookupDirector> "/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
-<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry containerPath="org.eclipse.jdt.launching.JRE_CONTAINER" javaProject="jpf-core" path="1" type="4"/> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.defaultClasspath"> <memento exportedEntriesOnly="false" project="jpf-core"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${resource_loc}/build/main"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${resource_loc}/build/peers"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${resource_loc}/lib/*"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${resource_loc}/build/tests"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${resource_loc}/build/examples"/> </runtimeClasspathEntry> "/>
-</listAttribute>
-<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunJPF"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value=""${resource_loc}""/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx1024m -ea"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
-</launchConfiguration>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunTest.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.eclipse.jdt.launching.sourceLocator.JavaSourceLookupDirector"/>
-<stringAttribute key="org.eclipse.debug.core.source_locator_memento" value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <sourceLookupDirector> <sourceContainers duplicates="true"> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;default/&gt;&#10;" typeId="org.eclipse.debug.core.containerType.default"/> </sourceContainers> </sourceLookupDirector> "/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
-<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry containerPath="org.eclipse.jdt.launching.JRE_CONTAINER" javaProject="jpf-core" path="1" type="4"/> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.defaultClasspath"> <memento exportedEntriesOnly="false" project="jpf-core"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${project_loc}/build/main"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${project_loc}/peers"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${project_loc}/lib/*"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${project_loc}/build/tests"/> </runtimeClasspathEntry> "/>
-<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.variableClasspathEntry"> <memento path="3" variableString="${project_loc}/build/examples"/> </runtimeClasspathEntry> "/>
-</listAttribute>
-<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunTest"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="${java_type_name} ${string_prompt}"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx2048m -ea"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
-</launchConfiguration>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
-<listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunJPF.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunJPF"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-addproject"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
-</launchConfiguration>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project basedir=".." name="jpf-core-IDE">
-
- <path id="base.path">
- <pathelement location="build/main"/>
- <pathelement location="build/peers"/>
- <pathelement location="build/annotations"/>
- <pathelement location="build/tests"/>
- <fileset dir=".">
- <include name="lib/*.jar"/>
- </fileset>
- </path>
-
- <sourcepath id="source.path">
- <pathelement location="src/main"/>
- <pathelement location="src/peers"/>
- </sourcepath>
-
-<!--
- <property name="testrunner" value="gov.nasa.jpf.util.test.TestJPF"/>
--->
- <property name="testrunner" value="gov.nasa.jpf.tool.RunTest"/>
-
-
- <!-- TODO: do we really have to duplicate this for each container dir? -->
- <!-- TODO: !!! automatic recompile doesn't work, this is a NetBeans/Ant problem !!! -->
-
- <!-- (more info: http://www.netbeans.org/kb/articles/freeform-config.html#runsingle) -->
-
- <target name="test-project">
- <!-- we need to set the formatter 'usefile' attribute
- or the NB test runner will not show any tests -->
- <property name="junit.usefile" value="false"/>
- <ant antfile="build.xml" inheritall="true" target="test"/>
- </target>
-
-
- <!-- 'main' targets -->
- <target name="run-selected-main">
- <fail unless="run.class">Must set property 'run.class'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
- <input message="please enter arguments" addproperty="arg.input"/>
- <java classname="${run.class}" failonerror="true" fork="true">
- <classpath>
- <path refid="base.path"/>
- </classpath>
- <jvmarg value="-ea"/>
- <arg line="${arg.input}"/>
- </java>
- </target>
-
- <target name="debug-selected-main">
- <fail unless="debug.class">Must set property 'debug.class'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
-
- <path id="cp.main">
- <path refid="base.path"/>
- </path>
- <sourcepath id="sp.main">
- <path refid="source.path"/>
- </sourcepath>
-
-
- <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
- <classpath refid="cp.main"/>
- <sourcepath refid="sp.main"/>
- </nbjpdastart>
-
- <input message="please enter arguments" addproperty="arg.input"/>
-
- <java classname="${debug.class}" fork="true" >
- <classpath refid="cp.main"/>
- <jvmarg value="-ea"/>
- <jvmarg value="-Xdebug"/>
- <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
- <arg line="${arg.input}"/>
- </java>
- </target>
-
-
- <!-- 'example' targets -->
- <target name="run-selected-example">
- <fail unless="run.class">Must set property 'run.class'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
- <input message="please enter arguments" addproperty="arg.input"/>
- <java classname="${run.class}" failonerror="true" fork="true">
- <classpath>
- <pathelement location="build/examples"/>
- <path refid="base.path"/>
- </classpath>
- <jvmarg value="-ea"/>
- <arg line="${arg.input}"/>
- </java>
- </target>
-
- <target name="debug-selected-example">
- <fail unless="debug.class">Must set property 'debug.class'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
-
- <path id="cp.examples">
- <pathelement location="build/examples"/>
- <path refid="base.path"/>
- </path>
- <sourcepath id="sp.examples">
- <pathelement location="src/examples"/>
- <path refid="source.path"/>
- </sourcepath>
-
-
- <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
- <classpath refid="cp.examples"/>
- <sourcepath refid="sp.examples"/>
- </nbjpdastart>
-
- <input message="please enter arguments" addproperty="arg.input"/>
-
- <java classname="${debug.class}" fork="true" >
- <classpath refid="cp.examples"/>
- <jvmarg value="-ea"/>
- <jvmarg value="-Xdebug"/>
- <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
- <arg line="${arg.input}"/>
- </java>
- </target>
-
- <target name="run-selected-example-jpf">
- <fail unless="jpf.config">Must set property 'jpf.config'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
- <!-- -->
- <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
- <arg value="${jpf.config}"/>
- <classpath>
- <pathelement location="build/examples"/>
- <path refid="base.path"/>
- </classpath>
- </java>
- </target>
-
- <target name="debug-selected-example-jpf">
- <fail unless="jpf.config">Must set property 'jpf.config'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
-
- <path id="cp.examples">
- <pathelement location="build/examples"/>
- <path refid="base.path"/>
- </path>
- <sourcepath id="sp.examples">
- <pathelement location="src/examples"/>
- <path refid="source.path"/>
- </sourcepath>
-
- <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
- <classpath refid="cp.examples"/>
- <sourcepath refid="sp.examples"/>
- </nbjpdastart>
-
- <java classname="gov.nasa.jpf.JPF" fork="true">
- <classpath refid="cp.examples"/>
- <jvmarg value="-ea"/>
- <jvmarg value="-Xdebug"/>
- <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
- <arg value="-c"/>
- <arg value="${jpf.config}"/>
- </java>
- </target>
-
-
- <!-- 'test' targets -->
- <target name="run-selected-test">
- <fail unless="run.class">Must set property 'run.class'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
- <input message="please enter arguments" addproperty="arg.input"/>
- <java classname="${testrunner}" failonerror="true" fork="true">
- <classpath>
- <pathelement location="build/tests"/>
- <path refid="base.path"/>
- </classpath>
- <jvmarg value="-ea"/>
- <arg value="${run.class}"/>
- <arg line="${arg.input}"/>
- </java>
- </target>
-
- <target name="debug-selected-test">
- <fail unless="debug.class">Must set property 'debug.class'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
-
- <path id="cp.tests">
- <pathelement location="build/tests"/>
- <path refid="base.path"/>
- </path>
- <sourcepath id="sp.tests">
- <pathelement location="src/tests"/>
- <path refid="source.path"/>
- </sourcepath>
-
- <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
- <classpath refid="cp.tests"/>
- <sourcepath refid="sp.tests"/>
- </nbjpdastart>
-
- <input message="please enter arguments" addproperty="arg.input"/>
-
- <java classname="${testrunner}" fork="true">
- <classpath refid="cp.tests"/>
- <jvmarg value="-ea"/>
- <jvmarg value="-Xdebug"/>
- <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
- <arg value="${debug.class}"/>
- <arg line="${arg.input}"/>
- </java>
- </target>
-
- <target name="run-selected-test-jpf">
- <fail unless="jpf.config">Must set property 'jpf.config'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
- <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
- <jvmarg value="-ea"/>
- <arg value="${jpf.config}"/>
- <classpath>
- <pathelement location="build/tests"/>
- <path refid="base.path"/>
- </classpath>
- </java>
- </target>
-
- <target name="debug-selected-test-jpf">
- <fail unless="jpf.config">Must set property 'jpf.config'</fail>
- <ant antfile="build.xml" inheritall="false" target="compile"/>
-
- <path id="cp.tests">
- <pathelement location="build/tests"/>
- <path refid="base.path"/>
- </path>
- <sourcepath id="sp.tests">
- <pathelement location="src/tests"/>
- <path refid="source.path"/>
- </sourcepath>
-
- <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
- <classpath refid="cp.tests"/>
- <sourcepath refid="sp.tests"/>
- </nbjpdastart>
-
- <java classname="gov.nasa.jpf.JPF" fork="true">
- <classpath refid="cp.tests"/>
- <jvmarg value="-ea"/>
- <jvmarg value="-Xdebug"/>
- <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
- <arg value="-c"/>
- <arg value="${jpf.config}"/>
- </java>
- </target>
-
-</project>
+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://www.netbeans.org/ns/project/1">
- <type>org.netbeans.modules.ant.freeform</type>
- <configuration>
- <general-data xmlns="http://www.netbeans.org/ns/freeform-project/1">
- <name>jpf-core</name>
- </general-data>
- <general-data xmlns="http://www.netbeans.org/ns/freeform-project/2">
- <!-- Do not use Project Properties customizer when editing this file manually. -->
- <name>jpf-core</name>
- <properties/>
- <folders>
- <source-folder>
- <label>jpf-core</label>
- <location>.</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- <source-folder>
- <label>src/main</label>
- <type>java</type>
- <location>src/main</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- <source-folder>
- <label>src/peers</label>
- <type>java</type>
- <location>src/peers</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- <source-folder>
- <label>src/annotations</label>
- <type>java</type>
- <location>src/annotations</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- <source-folder>
- <label>src/classes</label>
- <type>java</type>
- <location>src/classes</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- <source-folder>
- <label>src/tests</label>
- <type>java</type>
- <location>src/tests</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- <source-folder>
- <label>src/examples</label>
- <type>java</type>
- <location>src/examples</location>
- <encoding>UTF-8</encoding>
- </source-folder>
- </folders>
- <ide-actions>
- <action name="build">
- <target>build</target>
- </action>
- <action name="clean">
- <target>clean</target>
- </action>
- <action name="test">
- <script>nbproject/ide-file-targets.xml</script>
- <target>test-project</target>
- </action>
- <action name="rebuild">
- <target>clean</target>
- <target>build</target>
- </action>
- <!-- run single file actions -->
- <!-- run stuff in main -->
- <action name="run.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>run-selected-main</target>
- <context>
- <property>run.class</property>
- <folder>src/main</folder>
- <pattern>\.java$</pattern>
- <format>java-name</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="debug.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>debug-selected-main</target>
- <context>
- <property>debug.class</property>
- <folder>src/main</folder>
- <pattern>\.java$</pattern>
- <format>java-name</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <!-- run stuff in examples -->
- <action name="run.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>run-selected-example</target>
- <context>
- <property>run.class</property>
- <folder>src/examples</folder>
- <pattern>\.java$</pattern>
- <format>java-name</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="debug.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>debug-selected-example</target>
- <context>
- <property>debug.class</property>
- <folder>src/examples</folder>
- <pattern>\.java$</pattern>
- <format>java-name</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="run.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>run-selected-example-jpf</target>
- <context>
- <property>jpf.config</property>
- <folder>src/examples</folder>
- <pattern>\.jpf$</pattern>
- <format>absolute-path</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="debug.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>debug-selected-example-jpf</target>
- <context>
- <property>jpf.config</property>
- <folder>src/examples</folder>
- <pattern>\.jpf$</pattern>
- <format>absolute-path</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <!-- run stuff in test -->
- <action name="run.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>run-selected-test</target>
- <context>
- <property>run.class</property>
- <folder>src/tests</folder>
- <pattern>\.java$</pattern>
- <format>java-name</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="debug.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>debug-selected-test</target>
- <context>
- <property>debug.class</property>
- <folder>src/tests</folder>
- <pattern>\.java$</pattern>
- <format>java-name</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="run.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>run-selected-test-jpf</target>
- <context>
- <property>jpf.config</property>
- <folder>src/tests</folder>
- <pattern>\.jpf$</pattern>
- <format>absolute-path</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- <action name="debug.single">
- <script>nbproject/ide-file-targets.xml</script>
- <target>debug-selected-test-jpf</target>
- <context>
- <property>jpf.config</property>
- <folder>src/tests</folder>
- <pattern>\.jpf$</pattern>
- <format>absolute-path</format>
- <arity>
- <one-file-only/>
- </arity>
- </context>
- </action>
- </ide-actions>
- <export>
- <type>folder</type>
- <location>build/main</location>
- <build-target>build</build-target>
- </export>
- <export>
- <type>folder</type>
- <location>build/peers</location>
- <build-target>build</build-target>
- </export>
- <export>
- <type>folder</type>
- <location>build/classes</location>
- <build-target>build</build-target>
- </export>
- <export>
- <type>folder</type>
- <location>build/examples</location>
- <build-target>build</build-target>
- </export>
- <export>
- <type>folder</type>
- <location>build/annotations</location>
- <build-target>build</build-target>
- </export>
- <export>
- <type>folder</type>
- <location>build/tests</location>
- <build-target>build</build-target>
- </export>
- <view>
- <items>
- <source-folder style="packages">
- <label>src/main</label>
- <location>src/main</location>
- </source-folder>
- <source-folder style="packages">
- <label>src/peers</label>
- <location>src/peers</location>
- </source-folder>
- <source-folder style="packages">
- <label>src/annotations</label>
- <location>src/annotations</location>
- </source-folder>
- <source-folder style="packages">
- <label>src/classes</label>
- <location>src/classes</location>
- </source-folder>
- <source-folder style="packages">
- <label>src/tests</label>
- <location>src/tests</location>
- </source-folder>
- <source-folder style="packages">
- <label>src/examples</label>
- <location>src/examples</location>
- </source-folder>
- <source-file>
- <location>build.xml</location>
- </source-file>
- </items>
- <context-menu>
- <ide-action name="build"/>
- <ide-action name="rebuild"/>
- <ide-action name="clean"/>
- <ide-action name="test"/>
- </context-menu>
- </view>
- <subprojects/>
- </general-data>
- <java-data xmlns="http://www.netbeans.org/ns/freeform-project-java/4">
- <compilation-unit>
- <package-root>src/main</package-root>
- <classpath mode="compile">build/annotations</classpath>
- <built-to>build/main</built-to>
- <source-level>1.8</source-level>
- </compilation-unit>
- <compilation-unit>
- <package-root>src/peers</package-root>
- <classpath mode="compile">build/annotations;build/main</classpath>
- <built-to>build/peers</built-to>
- <source-level>1.8</source-level>
- </compilation-unit>
- <compilation-unit>
- <package-root>src/classes</package-root>
- <classpath mode="compile">build/annotations;build/main</classpath>
- <built-to>build/classes</built-to>
- <source-level>1.8</source-level>
- </compilation-unit>
- <compilation-unit>
- <package-root>src/examples</package-root>
- <unit-tests/>
- <classpath mode="compile">build/main</classpath>
- <built-to>build/examples</built-to>
- <source-level>1.8</source-level>
- </compilation-unit>
- <compilation-unit>
- <package-root>src/annotations</package-root>
- <built-to>build/annotations</built-to>
- <source-level>1.8</source-level>
- </compilation-unit>
- <compilation-unit>
- <package-root>src/tests</package-root>
- <unit-tests/>
- <classpath mode="compile">build/main:build/annotations:build/peers:build/classes</classpath>
- <built-to>build/tests</built-to>
- <source-level>1.8</source-level>
- </compilation-unit>
- </java-data>
- <preferences xmlns="http://www.netbeans.org/ns/auxiliary-configuration-preferences/1">
- <module name="org-netbeans-modules-editor-indent">
- <node name="CodeStyle">
- <property name="usedProfile" value="default"/>
- <node name="project">
- <property name="tab-size" value="8"/>
- <property name="text-limit-width" value="80"/>
- </node>
- </node>
- </module>
- </preferences>
- </configuration>
-</project>