|
364
|
1 <?xml version="1.0" encoding="UTF-8"?>
|
|
|
2 <project version="4">
|
|
|
3 <component name="CompilerConfiguration">
|
|
|
4 <option name="DEFAULT_COMPILER" />
|
|
|
5 <resourceExtensions />
|
|
|
6 <wildcardResourcePatterns>
|
|
|
7 <entry name="!?*.java" />
|
|
|
8 <entry name="!?*.form" />
|
|
|
9 <entry name="!?*.class" />
|
|
|
10 <entry name="!?*.groovy" />
|
|
|
11 <entry name="!?*.scala" />
|
|
|
12 <entry name="!?*.flex" />
|
|
|
13 <entry name="!?*.kt" />
|
|
|
14 <entry name="!?*.clj" />
|
|
|
15 </wildcardResourcePatterns>
|
|
|
16 <annotationProcessing>
|
|
|
17 <profile default="true" name="Default" enabled="false">
|
|
|
18 <processorPath useClasspath="true" />
|
|
|
19 </profile>
|
|
|
20 </annotationProcessing>
|
|
|
21 </component>
|
|
|
22 <component name="CopyrightManager" default="" />
|
|
|
23 <component name="DaemonCodeAnalyzer">
|
|
|
24 <disable_hints />
|
|
|
25 </component>
|
|
|
26 <component name="DependencyValidationManager">
|
|
|
27 <option name="SKIP_IMPORT_STATEMENTS" value="false" />
|
|
|
28 </component>
|
|
|
29 <component name="Encoding" useUTFGuessing="true" native2AsciiForPropertiesFiles="false" />
|
|
|
30 <component name="EntryPointsManager">
|
|
|
31 <entry_points version="2.0" />
|
|
|
32 </component>
|
|
|
33 <component name="GradleLocalSettings">
|
|
|
34 <option name="modificationStamps">
|
|
|
35 <map>
|
|
|
36 <entry key="$PROJECT_DIR$/../JungleXMLReader" value="1421738827000" />
|
|
|
37 <entry key="$PROJECT_DIR$" value="1404180958000" />
|
|
|
38 <entry key="$PROJECT_DIR$/../bulletinboard" value="1430172412000" />
|
|
|
39 <entry key="$PROJECT_DIR$/../jungle-bench" value="1430176878000" />
|
|
|
40 <entry key="$PROJECT_DIR$/../jungle-core" value="1430558234000" />
|
|
|
41 <entry key="$PROJECT_DIR$/../jungle-network" value="2851914051000" />
|
|
|
42 <entry key="$USER_HOME$/hg/Members/tatsuki/TreeMap" value="2857543554000" />
|
|
|
43 <entry key="$USER_HOME$/hg/Members/tatsuki/functionaljava-master/core" value="11415333356000" />
|
|
|
44 <entry key="$USER_HOME$/src/workspaceJ/TreeVNC" value="1412064151000" />
|
|
|
45 </map>
|
|
|
46 </option>
|
|
|
47 </component>
|
|
|
48 <component name="ProjectInspectionProfilesVisibleTreeState">
|
|
|
49 <entry key="Project Default">
|
|
|
50 <profile-state>
|
|
|
51 <expanded-state>
|
|
|
52 <State>
|
|
|
53 <id />
|
|
|
54 </State>
|
|
|
55 <State>
|
|
|
56 <id>Android Lint</id>
|
|
|
57 </State>
|
|
|
58 <State>
|
|
|
59 <id>Probable bugs</id>
|
|
|
60 </State>
|
|
|
61 <State>
|
|
|
62 <id>RELAX NG</id>
|
|
|
63 </State>
|
|
|
64 <State>
|
|
|
65 <id>XPath</id>
|
|
|
66 </State>
|
|
|
67 <State>
|
|
|
68 <id>XSLT</id>
|
|
|
69 </State>
|
|
|
70 </expanded-state>
|
|
|
71 <selected-state>
|
|
|
72 <State>
|
|
|
73 <id>Abstraction issues</id>
|
|
|
74 </State>
|
|
|
75 </selected-state>
|
|
|
76 </profile-state>
|
|
|
77 </entry>
|
|
|
78 </component>
|
|
|
79 <component name="ProjectLevelVcsManager" settingsEditedManually="false">
|
|
|
80 <OptionsSetting value="true" id="Add" />
|
|
|
81 <OptionsSetting value="true" id="Remove" />
|
|
|
82 <OptionsSetting value="true" id="Checkout" />
|
|
|
83 <OptionsSetting value="true" id="Update" />
|
|
|
84 <OptionsSetting value="true" id="Status" />
|
|
|
85 <OptionsSetting value="true" id="Edit" />
|
|
|
86 <ConfirmationsSetting value="0" id="Add" />
|
|
|
87 <ConfirmationsSetting value="0" id="Remove" />
|
|
|
88 </component>
|
|
|
89 <component name="ProjectModuleManager">
|
|
|
90 <modules />
|
|
|
91 </component>
|
|
|
92 <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
|
|
|
93 <output url="file://$PROJECT_DIR$/build/classes" />
|
|
|
94 </component>
|
|
|
95 <component name="PropertiesComponent">
|
|
|
96 <property name="GoToClass.includeLibraries" value="false" />
|
|
|
97 <property name="GoToClass.toSaveIncludeLibraries" value="false" />
|
|
|
98 <property name="GoToFile.includeJavaFiles" value="false" />
|
|
|
99 <property name="MemberChooser.sorted" value="false" />
|
|
|
100 <property name="MemberChooser.showClasses" value="true" />
|
|
|
101 <property name="MemberChooser.copyJavadoc" value="false" />
|
|
|
102 <property name="options.lastSelected" value="configurable.group.editor" />
|
|
|
103 <property name="options.splitter.main.proportions" value="0.3" />
|
|
|
104 <property name="options.splitter.details.proportions" value="0.2" />
|
|
|
105 <property name="options.searchVisible" value="true" />
|
|
|
106 <property name="last_opened_file_path" value="$USER_HOME$/src/workspaceJ" />
|
|
|
107 </component>
|
|
|
108 <component name="RunManager">
|
|
|
109 <configuration default="true" type="#org.jetbrains.idea.devkit.run.PluginConfigurationType" factoryName="Plugin">
|
|
|
110 <module name="" />
|
|
|
111 <option name="VM_PARAMETERS" value="-Xmx512m -Xms256m -XX:MaxPermSize=250m -ea" />
|
|
|
112 <option name="PROGRAM_PARAMETERS" />
|
|
|
113 <method />
|
|
|
114 </configuration>
|
|
|
115 <configuration default="true" type="Remote" factoryName="Remote">
|
|
|
116 <option name="USE_SOCKET_TRANSPORT" value="true" />
|
|
|
117 <option name="SERVER_MODE" value="false" />
|
|
|
118 <option name="SHMEM_ADDRESS" value="javadebug" />
|
|
|
119 <option name="HOST" value="localhost" />
|
|
|
120 <option name="PORT" value="5005" />
|
|
|
121 <method />
|
|
|
122 </configuration>
|
|
|
123 <configuration default="true" type="TestNG" factoryName="TestNG">
|
|
|
124 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
|
|
|
125 <module name="" />
|
|
|
126 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
|
|
|
127 <option name="ALTERNATIVE_JRE_PATH" />
|
|
|
128 <option name="SUITE_NAME" />
|
|
|
129 <option name="PACKAGE_NAME" />
|
|
|
130 <option name="MAIN_CLASS_NAME" />
|
|
|
131 <option name="METHOD_NAME" />
|
|
|
132 <option name="GROUP_NAME" />
|
|
|
133 <option name="TEST_OBJECT" value="CLASS" />
|
|
|
134 <option name="VM_PARAMETERS" value="-ea" />
|
|
|
135 <option name="PARAMETERS" />
|
|
|
136 <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
|
|
|
137 <option name="OUTPUT_DIRECTORY" />
|
|
|
138 <option name="ANNOTATION_TYPE" />
|
|
|
139 <option name="ENV_VARIABLES" />
|
|
|
140 <option name="PASS_PARENT_ENVS" value="true" />
|
|
|
141 <option name="TEST_SEARCH_SCOPE">
|
|
|
142 <value defaultName="moduleWithDependencies" />
|
|
|
143 </option>
|
|
|
144 <option name="USE_DEFAULT_REPORTERS" value="false" />
|
|
|
145 <option name="PROPERTIES_FILE" />
|
|
|
146 <envs />
|
|
|
147 <properties />
|
|
|
148 <listeners />
|
|
|
149 <method />
|
|
|
150 </configuration>
|
|
|
151 <configuration default="true" type="Applet" factoryName="Applet">
|
|
|
152 <module name="" />
|
|
|
153 <option name="MAIN_CLASS_NAME" />
|
|
|
154 <option name="HTML_FILE_NAME" />
|
|
|
155 <option name="HTML_USED" value="false" />
|
|
|
156 <option name="WIDTH" value="400" />
|
|
|
157 <option name="HEIGHT" value="300" />
|
|
|
158 <option name="POLICY_FILE" value="$APPLICATION_HOME_DIR$/bin/appletviewer.policy" />
|
|
|
159 <option name="VM_PARAMETERS" />
|
|
|
160 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
|
|
|
161 <option name="ALTERNATIVE_JRE_PATH" />
|
|
|
162 <method />
|
|
|
163 </configuration>
|
|
|
164 <configuration default="true" type="Application" factoryName="Application">
|
|
|
165 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
|
|
|
166 <option name="MAIN_CLASS_NAME" />
|
|
|
167 <option name="VM_PARAMETERS" />
|
|
|
168 <option name="PROGRAM_PARAMETERS" />
|
|
|
169 <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
|
|
|
170 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
|
|
|
171 <option name="ALTERNATIVE_JRE_PATH" />
|
|
|
172 <option name="ENABLE_SWING_INSPECTOR" value="false" />
|
|
|
173 <option name="ENV_VARIABLES" />
|
|
|
174 <option name="PASS_PARENT_ENVS" value="true" />
|
|
|
175 <module name="" />
|
|
|
176 <envs />
|
|
|
177 <method />
|
|
|
178 </configuration>
|
|
|
179 <configuration default="true" type="JUnit" factoryName="JUnit">
|
|
|
180 <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
|
|
|
181 <module name="" />
|
|
|
182 <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
|
|
|
183 <option name="ALTERNATIVE_JRE_PATH" />
|
|
|
184 <option name="PACKAGE_NAME" />
|
|
|
185 <option name="MAIN_CLASS_NAME" />
|
|
|
186 <option name="METHOD_NAME" />
|
|
|
187 <option name="TEST_OBJECT" value="class" />
|
|
|
188 <option name="VM_PARAMETERS" value="-ea" />
|
|
|
189 <option name="PARAMETERS" />
|
|
|
190 <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
|
|
|
191 <option name="ENV_VARIABLES" />
|
|
|
192 <option name="PASS_PARENT_ENVS" value="true" />
|
|
|
193 <option name="TEST_SEARCH_SCOPE">
|
|
|
194 <value defaultName="moduleWithDependencies" />
|
|
|
195 </option>
|
|
|
196 <envs />
|
|
|
197 <patterns />
|
|
|
198 <method />
|
|
|
199 </configuration>
|
|
|
200 <list size="0" />
|
|
|
201 <configuration name="<template>" type="WebApp" default="true" selected="false">
|
|
|
202 <Host>localhost</Host>
|
|
|
203 <Port>5050</Port>
|
|
|
204 </configuration>
|
|
|
205 </component>
|
|
|
206 <component name="VcsContentAnnotationSettings">
|
|
|
207 <option name="myLimit" value="2678400000" />
|
|
|
208 </component>
|
|
|
209 <component name="VcsManagerConfiguration">
|
|
|
210 <option name="myTodoPanelSettings">
|
|
|
211 <TodoPanelSettings />
|
|
|
212 </option>
|
|
|
213 </component>
|
|
|
214 <component name="masterDetails">
|
|
|
215 <states>
|
|
|
216 <state key="ProjectJDKs.UI">
|
|
|
217 <settings>
|
|
|
218 <last-edited>1.8</last-edited>
|
|
|
219 <splitter-proportions>
|
|
|
220 <option name="proportions">
|
|
|
221 <list>
|
|
|
222 <option value="0.2" />
|
|
|
223 </list>
|
|
|
224 </option>
|
|
|
225 </splitter-proportions>
|
|
|
226 </settings>
|
|
|
227 </state>
|
|
|
228 </states>
|
|
|
229 </component>
|
|
|
230 </project> |
