]> matita.cs.unibo.it Git - logicplayer.git/blob - server/tesi/.idea/workspace.xml
Shuffling.
[logicplayer.git] / server / tesi / .idea / workspace.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <project version="4">
3   <component name="ChangeListManager">
4     <list default="true" id="f9bf9f33-b4ab-4b7e-835e-3aefbf8ab14e" name="Default" comment="" />
5     <ignored path="testi.iws" />
6     <ignored path=".idea/workspace.xml" />
7     <ignored path="$PROJECT_DIR$/out/" />
8     <option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
9     <option name="TRACKING_ENABLED" value="true" />
10     <option name="SHOW_DIALOG" value="false" />
11     <option name="HIGHLIGHT_CONFLICTS" value="true" />
12     <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
13     <option name="LAST_RESOLUTION" value="IGNORE" />
14   </component>
15   <component name="ChangesViewManager" flattened_view="true" show_ignored="false" />
16   <component name="CreatePatchCommitExecutor">
17     <option name="PATCH_PATH" value="" />
18   </component>
19   <component name="DaemonCodeAnalyzer">
20     <disable_hints />
21   </component>
22   <component name="ExecutionTargetManager" SELECTED_TARGET="default_target" />
23   <component name="FavoritesManager">
24     <favorites_list name="testi" />
25   </component>
26   <component name="FileEditorManager">
27     <leaf>
28       <file leaf-file-name="EsNameParser.java" pinned="false" current-in-tab="false">
29         <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
30           <provider selected="true" editor-type-id="text-editor">
31             <state vertical-scroll-proportion="0.0" vertical-offset="90" max-vertical-offset="2466">
32               <caret line="17" column="19" selection-start-line="17" selection-start-column="19" selection-end-line="17" selection-end-column="19" />
33               <folding />
34             </state>
35           </provider>
36         </entry>
37       </file>
38       <file leaf-file-name="DirectoryWhatcer.java" pinned="false" current-in-tab="false">
39         <entry file="file://$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java">
40           <provider selected="true" editor-type-id="text-editor">
41             <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="1980">
42               <caret line="25" column="42" selection-start-line="25" selection-start-column="42" selection-end-line="25" selection-end-column="42" />
43               <folding />
44             </state>
45           </provider>
46         </entry>
47       </file>
48       <file leaf-file-name="esercizi.xml" pinned="false" current-in-tab="false">
49         <entry file="file://$PROJECT_DIR$/src/com/company/esercizi.xml">
50           <provider selected="true" editor-type-id="text-editor">
51             <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="198">
52               <caret line="1" column="0" selection-start-line="1" selection-start-column="0" selection-end-line="1" selection-end-column="0" />
53               <folding />
54             </state>
55           </provider>
56         </entry>
57       </file>
58       <file leaf-file-name="global.java" pinned="false" current-in-tab="true">
59         <entry file="file://$PROJECT_DIR$/src/com/company/global.java">
60           <provider selected="true" editor-type-id="text-editor">
61             <state vertical-scroll-proportion="0.3452055" vertical-offset="0" max-vertical-offset="730">
62               <caret line="14" column="0" selection-start-line="14" selection-start-column="0" selection-end-line="14" selection-end-column="0" />
63               <folding />
64             </state>
65           </provider>
66         </entry>
67       </file>
68       <file leaf-file-name="personalServer.java" pinned="false" current-in-tab="false">
69         <entry file="file://$PROJECT_DIR$/src/com/company/personalServer.java">
70           <provider selected="true" editor-type-id="text-editor">
71             <state vertical-scroll-proportion="0.0" vertical-offset="234" max-vertical-offset="990">
72               <caret line="20" column="12" selection-start-line="20" selection-start-column="12" selection-end-line="20" selection-end-column="12" />
73               <folding />
74             </state>
75           </provider>
76         </entry>
77       </file>
78       <file leaf-file-name="dbConnect.java" pinned="false" current-in-tab="false">
79         <entry file="file://$PROJECT_DIR$/src/com/company/dbConnect.java">
80           <provider selected="true" editor-type-id="text-editor">
81             <state vertical-scroll-proportion="0.0" vertical-offset="2160" max-vertical-offset="5724">
82               <caret line="226" column="19" selection-start-line="226" selection-start-column="19" selection-end-line="226" selection-end-column="19" />
83               <folding>
84                 <element signature="imports" expanded="true" />
85               </folding>
86             </state>
87           </provider>
88         </entry>
89       </file>
90       <file leaf-file-name="suString.java" pinned="false" current-in-tab="false">
91         <entry file="file://$PROJECT_DIR$/src/com/company/suString.java">
92           <provider selected="true" editor-type-id="text-editor">
93             <state vertical-scroll-proportion="0.0" vertical-offset="324" max-vertical-offset="1296">
94               <caret line="18" column="13" selection-start-line="18" selection-start-column="13" selection-end-line="18" selection-end-column="13" />
95               <folding>
96                 <element signature="imports" expanded="true" />
97               </folding>
98             </state>
99           </provider>
100         </entry>
101       </file>
102       <file leaf-file-name="superServer.java" pinned="false" current-in-tab="false">
103         <entry file="file://$PROJECT_DIR$/src/com/company/superServer.java">
104           <provider selected="true" editor-type-id="text-editor">
105             <state vertical-scroll-proportion="0.0" vertical-offset="38" max-vertical-offset="1044">
106               <caret line="16" column="24" selection-start-line="16" selection-start-column="24" selection-end-line="16" selection-end-column="43" />
107               <folding />
108             </state>
109           </provider>
110         </entry>
111       </file>
112       <file leaf-file-name="guestServer.java" pinned="false" current-in-tab="false">
113         <entry file="file://$PROJECT_DIR$/src/com/company/guestServer.java">
114           <provider selected="true" editor-type-id="text-editor">
115             <state vertical-scroll-proportion="0.0" vertical-offset="1242" max-vertical-offset="1404">
116               <caret line="74" column="0" selection-start-line="74" selection-start-column="0" selection-end-line="74" selection-end-column="0" />
117               <folding />
118             </state>
119           </provider>
120         </entry>
121       </file>
122     </leaf>
123   </component>
124   <component name="IdeDocumentHistory">
125     <option name="CHANGED_PATHS">
126       <list>
127         <option value="$PROJECT_DIR$/src/com/company/testEsname.java" />
128         <option value="$PROJECT_DIR$/src/com/company/DeleteFileExample.java" />
129         <option value="$PROJECT_DIR$/src/com/server/superServer.java" />
130         <option value="$PROJECT_DIR$/src/com/server/xmlOperation.java" />
131         <option value="$PROJECT_DIR$/src/com/server/DirectoryWhatcer.java" />
132         <option value="$PROJECT_DIR$/src/com/company/hash.java" />
133         <option value="$PROJECT_DIR$/src/com/company/gommo.java" />
134         <option value="$PROJECT_DIR$/src/com/company/xmlOperation.java" />
135         <option value="$PROJECT_DIR$/src/com/company/MD5.java" />
136         <option value="$PROJECT_DIR$/src/com/company/guestServer.java" />
137         <option value="$PROJECT_DIR$/src/com/company/EmailSender.java" />
138         <option value="$PROJECT_DIR$/src/com/company/suString.java" />
139         <option value="$PROJECT_DIR$/src/com/company/httpget.java" />
140         <option value="$PROJECT_DIR$/src/com/company/personalServer.java" />
141         <option value="$PROJECT_DIR$/src/com/company/dbConnect.java" />
142         <option value="$PROJECT_DIR$/src/com/company/EsNameParser.java" />
143         <option value="$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java" />
144         <option value="$PROJECT_DIR$/src/com/company/superServer.java" />
145         <option value="$PROJECT_DIR$/src/com/company/global.java" />
146       </list>
147     </option>
148   </component>
149   <component name="ProjectFrameBounds">
150     <option name="x" value="-1" />
151     <option name="y" value="26" />
152     <option name="width" value="1442" />
153     <option name="height" value="875" />
154   </component>
155   <component name="ProjectInspectionProfilesVisibleTreeState">
156     <entry key="Project Default">
157       <profile-state>
158         <expanded-state>
159           <State>
160             <id />
161           </State>
162           <State>
163             <id>Control flow issues</id>
164           </State>
165         </expanded-state>
166         <selected-state>
167           <State>
168             <id>InfiniteLoopStatement</id>
169           </State>
170         </selected-state>
171       </profile-state>
172     </entry>
173   </component>
174   <component name="ProjectLevelVcsManager" settingsEditedManually="false">
175     <OptionsSetting value="true" id="Add" />
176     <OptionsSetting value="true" id="Remove" />
177     <OptionsSetting value="true" id="Checkout" />
178     <OptionsSetting value="true" id="Update" />
179     <OptionsSetting value="true" id="Status" />
180     <OptionsSetting value="true" id="Edit" />
181     <ConfirmationsSetting value="0" id="Add" />
182     <ConfirmationsSetting value="0" id="Remove" />
183   </component>
184   <component name="ProjectView">
185     <navigator currentView="ProjectPane" proportions="" version="1">
186       <flattenPackages />
187       <showMembers />
188       <showModules />
189       <showLibraryContents />
190       <hideEmptyPackages />
191       <abbreviatePackageNames />
192       <autoscrollToSource />
193       <autoscrollFromSource />
194       <sortByType />
195     </navigator>
196     <panes>
197       <pane id="Scope" />
198       <pane id="PackagesPane" />
199       <pane id="ProjectPane">
200         <subPane>
201           <PATH>
202             <PATH_ELEMENT>
203               <option name="myItemId" value="testi" />
204               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
205             </PATH_ELEMENT>
206           </PATH>
207           <PATH>
208             <PATH_ELEMENT>
209               <option name="myItemId" value="testi" />
210               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
211             </PATH_ELEMENT>
212             <PATH_ELEMENT>
213               <option name="myItemId" value="testi" />
214               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
215             </PATH_ELEMENT>
216           </PATH>
217           <PATH>
218             <PATH_ELEMENT>
219               <option name="myItemId" value="testi" />
220               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
221             </PATH_ELEMENT>
222             <PATH_ELEMENT>
223               <option name="myItemId" value="testi" />
224               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
225             </PATH_ELEMENT>
226             <PATH_ELEMENT>
227               <option name="myItemId" value="src" />
228               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
229             </PATH_ELEMENT>
230             <PATH_ELEMENT>
231               <option name="myItemId" value="company" />
232               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
233             </PATH_ELEMENT>
234           </PATH>
235           <PATH>
236             <PATH_ELEMENT>
237               <option name="myItemId" value="testi" />
238               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
239             </PATH_ELEMENT>
240             <PATH_ELEMENT>
241               <option name="myItemId" value="testi" />
242               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
243             </PATH_ELEMENT>
244             <PATH_ELEMENT>
245               <option name="myItemId" value="src" />
246               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
247             </PATH_ELEMENT>
248             <PATH_ELEMENT>
249               <option name="myItemId" value="company" />
250               <option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
251             </PATH_ELEMENT>
252             <PATH_ELEMENT>
253               <option name="myItemId" value="DirectoryWhatcer.java" />
254               <option name="myItemType" value="com.intellij.ide.projectView.impl.ClassesTreeStructureProvider$PsiClassOwnerTreeNode" />
255             </PATH_ELEMENT>
256           </PATH>
257         </subPane>
258       </pane>
259     </panes>
260   </component>
261   <component name="PropertiesComponent">
262     <property name="GoToClass.includeLibraries" value="false" />
263     <property name="GoToClass.toSaveIncludeLibraries" value="false" />
264     <property name="GoToFile.includeJavaFiles" value="false" />
265     <property name="MemberChooser.sorted" value="false" />
266     <property name="MemberChooser.showClasses" value="true" />
267     <property name="MemberChooser.copyJavadoc" value="false" />
268     <property name="recentsLimit" value="5" />
269     <property name="restartRequiresConfirmation" value="true" />
270     <property name="FullScreen" value="false" />
271     <property name="last_opened_file_path" value="$PROJECT_DIR$" />
272     <property name="options.lastSelected" value="editor.preferences.appearance" />
273     <property name="options.splitter.main.proportions" value="0.3" />
274     <property name="options.splitter.details.proportions" value="0.2" />
275     <property name="project.structure.last.edited" value="SDKs" />
276     <property name="project.structure.proportion" value="0.15" />
277     <property name="project.structure.side.proportion" value="0.2" />
278     <property name="dynamic.classpath" value="false" />
279   </component>
280   <component name="RunManager" selected="Application.Main">
281     <configuration default="true" type="JUnit" factoryName="JUnit">
282       <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
283       <module name="" />
284       <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
285       <option name="ALTERNATIVE_JRE_PATH" />
286       <option name="PACKAGE_NAME" />
287       <option name="MAIN_CLASS_NAME" />
288       <option name="METHOD_NAME" />
289       <option name="TEST_OBJECT" value="class" />
290       <option name="VM_PARAMETERS" />
291       <option name="PARAMETERS" />
292       <option name="WORKING_DIRECTORY" />
293       <option name="ENV_VARIABLES" />
294       <option name="PASS_PARENT_ENVS" value="true" />
295       <option name="TEST_SEARCH_SCOPE">
296         <value defaultName="singleModule" />
297       </option>
298       <envs />
299       <patterns />
300       <method />
301     </configuration>
302     <configuration default="true" type="AndroidRunConfigurationType" factoryName="Android Application">
303       <module name="" />
304       <option name="ACTIVITY_CLASS" value="" />
305       <option name="MODE" value="default_activity" />
306       <option name="DEPLOY" value="true" />
307       <option name="ARTIFACT_NAME" value="" />
308       <option name="TARGET_SELECTION_MODE" value="EMULATOR" />
309       <option name="USE_LAST_SELECTED_DEVICE" value="false" />
310       <option name="PREFERRED_AVD" value="" />
311       <option name="USE_COMMAND_LINE" value="true" />
312       <option name="COMMAND_LINE" value="" />
313       <option name="WIPE_USER_DATA" value="false" />
314       <option name="DISABLE_BOOT_ANIMATION" value="false" />
315       <option name="NETWORK_SPEED" value="full" />
316       <option name="NETWORK_LATENCY" value="none" />
317       <option name="CLEAR_LOGCAT" value="false" />
318       <option name="SHOW_LOGCAT_AUTOMATICALLY" value="true" />
319       <option name="FILTER_LOGCAT_AUTOMATICALLY" value="true" />
320       <method />
321     </configuration>
322     <configuration default="true" type="AndroidTestRunConfigurationType" factoryName="Android Tests">
323       <module name="" />
324       <option name="TESTING_TYPE" value="0" />
325       <option name="INSTRUMENTATION_RUNNER_CLASS" value="" />
326       <option name="METHOD_NAME" value="" />
327       <option name="CLASS_NAME" value="" />
328       <option name="PACKAGE_NAME" value="" />
329       <option name="TARGET_SELECTION_MODE" value="EMULATOR" />
330       <option name="USE_LAST_SELECTED_DEVICE" value="false" />
331       <option name="PREFERRED_AVD" value="" />
332       <option name="USE_COMMAND_LINE" value="true" />
333       <option name="COMMAND_LINE" value="" />
334       <option name="WIPE_USER_DATA" value="false" />
335       <option name="DISABLE_BOOT_ANIMATION" value="false" />
336       <option name="NETWORK_SPEED" value="full" />
337       <option name="NETWORK_LATENCY" value="none" />
338       <option name="CLEAR_LOGCAT" value="false" />
339       <option name="SHOW_LOGCAT_AUTOMATICALLY" value="true" />
340       <option name="FILTER_LOGCAT_AUTOMATICALLY" value="true" />
341       <method />
342     </configuration>
343     <configuration default="true" type="GradleRunConfiguration" factoryName="Gradle">
344       <ExternalSystemSettings>
345         <option name="executionName" />
346         <option name="externalProjectPath" />
347         <option name="externalSystemIdString" value="GRADLE" />
348         <option name="scriptParameters" />
349         <option name="taskDescriptions">
350           <list />
351         </option>
352         <option name="taskNames">
353           <list />
354         </option>
355         <option name="vmOptions" />
356       </ExternalSystemSettings>
357       <method />
358     </configuration>
359     <configuration default="true" type="JarApplication" factoryName="JAR Application">
360       <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
361       <envs />
362       <method />
363     </configuration>
364     <configuration default="true" type="Application" factoryName="Application">
365       <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
366       <option name="MAIN_CLASS_NAME" />
367       <option name="VM_PARAMETERS" />
368       <option name="PROGRAM_PARAMETERS" />
369       <option name="WORKING_DIRECTORY" />
370       <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
371       <option name="ALTERNATIVE_JRE_PATH" />
372       <option name="ENABLE_SWING_INSPECTOR" value="false" />
373       <option name="ENV_VARIABLES" />
374       <option name="PASS_PARENT_ENVS" value="true" />
375       <module name="" />
376       <envs />
377       <method />
378     </configuration>
379     <configuration default="true" type="TestNG" factoryName="TestNG">
380       <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
381       <module name="" />
382       <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
383       <option name="ALTERNATIVE_JRE_PATH" />
384       <option name="SUITE_NAME" />
385       <option name="PACKAGE_NAME" />
386       <option name="MAIN_CLASS_NAME" />
387       <option name="METHOD_NAME" />
388       <option name="GROUP_NAME" />
389       <option name="TEST_OBJECT" value="CLASS" />
390       <option name="VM_PARAMETERS" />
391       <option name="PARAMETERS" />
392       <option name="WORKING_DIRECTORY" />
393       <option name="OUTPUT_DIRECTORY" />
394       <option name="ANNOTATION_TYPE" />
395       <option name="ENV_VARIABLES" />
396       <option name="PASS_PARENT_ENVS" value="true" />
397       <option name="TEST_SEARCH_SCOPE">
398         <value defaultName="singleModule" />
399       </option>
400       <option name="USE_DEFAULT_REPORTERS" value="false" />
401       <option name="PROPERTIES_FILE" />
402       <envs />
403       <properties />
404       <listeners />
405       <method />
406     </configuration>
407     <configuration default="false" name="Main" type="Application" factoryName="Application">
408       <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
409       <option name="MAIN_CLASS_NAME" value="com.company.superServer" />
410       <option name="VM_PARAMETERS" value="" />
411       <option name="PROGRAM_PARAMETERS" value="" />
412       <option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" />
413       <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
414       <option name="ALTERNATIVE_JRE_PATH" value="" />
415       <option name="ENABLE_SWING_INSPECTOR" value="false" />
416       <option name="ENV_VARIABLES" />
417       <option name="PASS_PARENT_ENVS" value="true" />
418       <module name="tesi" />
419       <envs />
420       <RunnerSettings RunnerId="Debug">
421         <option name="DEBUG_PORT" value="" />
422         <option name="TRANSPORT" value="0" />
423         <option name="LOCAL" value="true" />
424       </RunnerSettings>
425       <RunnerSettings RunnerId="Run" />
426       <ConfigurationWrapper RunnerId="Debug" />
427       <ConfigurationWrapper RunnerId="Run" />
428       <method />
429     </configuration>
430     <list size="1">
431       <item index="0" class="java.lang.String" itemvalue="Application.Main" />
432     </list>
433   </component>
434   <component name="ShelveChangesManager" show_recycled="false" />
435   <component name="SvnConfiguration">
436     <configuration />
437   </component>
438   <component name="TaskManager">
439     <task active="true" id="Default" summary="Default task">
440       <changelist id="f9bf9f33-b4ab-4b7e-835e-3aefbf8ab14e" name="Default" comment="" />
441       <created>1415700559063</created>
442       <option name="number" value="Default" />
443       <updated>1415700559063</updated>
444     </task>
445     <servers />
446   </component>
447   <component name="ToolWindowManager">
448     <frame x="-1" y="26" width="1442" height="875" extended-state="6" />
449     <editor active="false" />
450     <layout>
451       <window_info id="Changes" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
452       <window_info id="Palette" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
453       <window_info id="TODO" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="6" side_tool="false" content_ui="tabs" />
454       <window_info id="Messages" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.32820514" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
455       <window_info id="Palette&#9;" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
456       <window_info id="Commander" active="false" anchor="right" auto_hide="false" internal_type="SLIDING" type="SLIDING" visible="false" weight="0.4" sideWeight="0.5" order="0" side_tool="false" content_ui="tabs" />
457       <window_info id="Event Log" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.3992298" sideWeight="0.5" order="7" side_tool="true" content_ui="tabs" />
458       <window_info id="Application Servers" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
459       <window_info id="Maven Projects" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
460       <window_info id="Version Control" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
461       <window_info id="Run" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.32760897" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
462       <window_info id="Terminal" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
463       <window_info id="Designer" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
464       <window_info id="Project" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="true" weight="0.25679544" sideWeight="0.5" order="0" side_tool="false" content_ui="combo" />
465       <window_info id="Structure" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
466       <window_info id="Ant Build" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
467       <window_info id="UI Designer" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
468       <window_info id="Favorites" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="2" side_tool="true" content_ui="tabs" />
469       <window_info id="Debug" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.3976222" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
470       <window_info id="Cvs" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="4" side_tool="false" content_ui="tabs" />
471       <window_info id="Message" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="0" side_tool="false" content_ui="tabs" />
472       <window_info id="Dependency Viewer" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.32991013" sideWeight="0.5" order="8" side_tool="false" content_ui="tabs" />
473       <window_info id="Hierarchy" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="2" side_tool="false" content_ui="combo" />
474       <window_info id="Module Dependencies" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.32962447" sideWeight="0.5" order="4" side_tool="false" content_ui="tabs" />
475       <window_info id="Inspection" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.4" sideWeight="0.5" order="5" side_tool="false" content_ui="tabs" />
476       <window_info id="Find" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.32991013" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
477     </layout>
478   </component>
479   <component name="Vcs.Log.UiProperties">
480     <option name="RECENTLY_FILTERED_USER_GROUPS">
481       <collection />
482     </option>
483     <option name="RECENTLY_FILTERED_BRANCH_GROUPS">
484       <collection />
485     </option>
486   </component>
487   <component name="VcsContentAnnotationSettings">
488     <option name="myLimit" value="2678400000" />
489   </component>
490   <component name="VcsManagerConfiguration">
491     <option name="myTodoPanelSettings">
492       <TodoPanelSettings />
493     </option>
494   </component>
495   <component name="XDebuggerManager">
496     <breakpoint-manager>
497       <option name="time" value="5" />
498     </breakpoint-manager>
499     <watches-manager />
500   </component>
501   <component name="antWorkspaceConfiguration">
502     <option name="IS_AUTOSCROLL_TO_SOURCE" value="false" />
503     <option name="FILTER_TARGETS" value="false" />
504   </component>
505   <component name="editorHistoryManager">
506     <entry file="file://$PROJECT_DIR$/src/com/company/guestServer.java">
507       <provider selected="true" editor-type-id="text-editor">
508         <state vertical-scroll-proportion="0.0" vertical-offset="1242" max-vertical-offset="1404">
509           <caret line="74" column="0" selection-start-line="74" selection-start-column="0" selection-end-line="74" selection-end-column="0" />
510           <folding />
511         </state>
512       </provider>
513     </entry>
514     <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
515       <provider selected="true" editor-type-id="text-editor">
516         <state vertical-scroll-proportion="0.0" vertical-offset="1548" max-vertical-offset="2466">
517           <caret line="98" column="21" selection-start-line="98" selection-start-column="21" selection-end-line="98" selection-end-column="21" />
518           <folding />
519         </state>
520       </provider>
521     </entry>
522     <entry file="file://$PROJECT_DIR$/src/com/company/global.java">
523       <provider selected="true" editor-type-id="text-editor">
524         <state vertical-scroll-proportion="0.0" vertical-offset="144" max-vertical-offset="252">
525           <caret line="8" column="0" selection-start-line="8" selection-start-column="0" selection-end-line="8" selection-end-column="0" />
526           <folding />
527         </state>
528       </provider>
529     </entry>
530     <entry file="file://$PROJECT_DIR$/src/com/company/EmailSender.java">
531       <provider selected="true" editor-type-id="text-editor">
532         <state vertical-scroll-proportion="0.0" vertical-offset="43" max-vertical-offset="2088">
533           <caret line="15" column="0" selection-start-line="15" selection-start-column="0" selection-end-line="15" selection-end-column="0" />
534           <folding>
535             <element signature="imports" expanded="true" />
536           </folding>
537         </state>
538       </provider>
539     </entry>
540     <entry file="file://$PROJECT_DIR$/src/com/company/suString.java">
541       <provider selected="true" editor-type-id="text-editor">
542         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="1296">
543           <caret line="0" column="0" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
544           <folding>
545             <element signature="imports" expanded="true" />
546           </folding>
547         </state>
548       </provider>
549     </entry>
550     <entry file="file://$PROJECT_DIR$/src/com/company/guestServer.java">
551       <provider selected="true" editor-type-id="text-editor">
552         <state vertical-scroll-proportion="0.0" vertical-offset="905" max-vertical-offset="1404">
553           <caret line="74" column="0" selection-start-line="74" selection-start-column="0" selection-end-line="74" selection-end-column="0" />
554           <folding />
555         </state>
556       </provider>
557     </entry>
558     <entry file="file://$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java">
559       <provider selected="true" editor-type-id="text-editor">
560         <state vertical-scroll-proportion="0.0" vertical-offset="162" max-vertical-offset="1638">
561           <caret line="29" column="62" selection-start-line="29" selection-start-column="37" selection-end-line="29" selection-end-column="62" />
562           <folding />
563         </state>
564       </provider>
565     </entry>
566     <entry file="file://$PROJECT_DIR$/src/com/company/xmlOperation.java">
567       <provider selected="true" editor-type-id="text-editor">
568         <state vertical-scroll-proportion="0.0" vertical-offset="1059" max-vertical-offset="2556">
569           <caret line="71" column="9" selection-start-line="71" selection-start-column="9" selection-end-line="71" selection-end-column="9" />
570           <folding />
571         </state>
572       </provider>
573     </entry>
574     <entry file="file://$PROJECT_DIR$/src/com/company/superServer.java">
575       <provider selected="true" editor-type-id="text-editor">
576         <state vertical-scroll-proportion="0.0" vertical-offset="291" max-vertical-offset="1044">
577           <caret line="41" column="0" selection-start-line="41" selection-start-column="0" selection-end-line="41" selection-end-column="0" />
578           <folding />
579         </state>
580       </provider>
581     </entry>
582     <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
583       <provider selected="true" editor-type-id="text-editor">
584         <state vertical-scroll-proportion="0.0" vertical-offset="180" max-vertical-offset="2466">
585           <caret line="22" column="80" selection-start-line="22" selection-start-column="80" selection-end-line="22" selection-end-column="80" />
586           <folding />
587         </state>
588       </provider>
589     </entry>
590     <entry file="file://$PROJECT_DIR$/src/com/company/httpget.java">
591       <provider selected="true" editor-type-id="text-editor">
592         <state vertical-scroll-proportion="0.0" vertical-offset="646" max-vertical-offset="1386">
593           <caret line="59" column="59" selection-start-line="59" selection-start-column="59" selection-end-line="59" selection-end-column="59" />
594           <folding />
595         </state>
596       </provider>
597     </entry>
598     <entry file="file://$PROJECT_DIR$/src/com/company/personalServer.java">
599       <provider selected="true" editor-type-id="text-editor">
600         <state vertical-scroll-proportion="0.0" vertical-offset="270" max-vertical-offset="1098">
601           <caret line="22" column="30" selection-start-line="22" selection-start-column="30" selection-end-line="22" selection-end-column="30" />
602           <folding />
603         </state>
604       </provider>
605     </entry>
606     <entry file="file://$PROJECT_DIR$/src/com/company/dbConnect.java">
607       <provider selected="true" editor-type-id="text-editor">
608         <state vertical-scroll-proportion="0.0" vertical-offset="7131" max-vertical-offset="8262">
609           <caret line="449" column="45" selection-start-line="449" selection-start-column="45" selection-end-line="449" selection-end-column="45" />
610           <folding>
611             <element signature="imports" expanded="true" />
612           </folding>
613         </state>
614       </provider>
615     </entry>
616     <entry file="file://$PROJECT_DIR$/src/com/company/MD5.java">
617       <provider selected="true" editor-type-id="text-editor">
618         <state vertical-scroll-proportion="0.0" vertical-offset="16" max-vertical-offset="756">
619           <caret line="19" column="71" selection-start-line="19" selection-start-column="71" selection-end-line="19" selection-end-column="71" />
620           <folding>
621             <element signature="imports" expanded="true" />
622           </folding>
623         </state>
624       </provider>
625     </entry>
626     <entry file="file://$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java">
627       <provider selected="true" editor-type-id="text-editor">
628         <state vertical-scroll-proportion="0.0" vertical-offset="162" max-vertical-offset="1638">
629           <caret line="29" column="62" selection-start-line="29" selection-start-column="37" selection-end-line="29" selection-end-column="62" />
630           <folding />
631         </state>
632       </provider>
633     </entry>
634     <entry file="file://$PROJECT_DIR$/src/com/company/xmlOperation.java">
635       <provider selected="true" editor-type-id="text-editor">
636         <state vertical-scroll-proportion="0.0" vertical-offset="826" max-vertical-offset="2592">
637           <caret line="55" column="97" selection-start-line="55" selection-start-column="97" selection-end-line="55" selection-end-column="97" />
638           <folding />
639         </state>
640       </provider>
641     </entry>
642     <entry file="file://$PROJECT_DIR$/src/com/company/superServer.java">
643       <provider selected="true" editor-type-id="text-editor">
644         <state vertical-scroll-proportion="0.0" vertical-offset="291" max-vertical-offset="1044">
645           <caret line="41" column="0" selection-start-line="41" selection-start-column="0" selection-end-line="41" selection-end-column="0" />
646           <folding />
647         </state>
648       </provider>
649     </entry>
650     <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
651       <provider selected="true" editor-type-id="text-editor">
652         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="2466">
653           <caret line="0" column="0" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
654           <folding />
655         </state>
656       </provider>
657     </entry>
658     <entry file="file://$PROJECT_DIR$/src/com/company/httpget.java">
659       <provider selected="true" editor-type-id="text-editor">
660         <state vertical-scroll-proportion="0.0" vertical-offset="486" max-vertical-offset="1350">
661           <caret line="57" column="20" selection-start-line="57" selection-start-column="20" selection-end-line="57" selection-end-column="20" />
662           <folding />
663         </state>
664       </provider>
665     </entry>
666     <entry file="file://$PROJECT_DIR$/src/com/company/guestServer.java">
667       <provider selected="true" editor-type-id="text-editor">
668         <state vertical-scroll-proportion="0.0" vertical-offset="270" max-vertical-offset="1548">
669           <caret line="23" column="41" selection-start-line="23" selection-start-column="41" selection-end-line="23" selection-end-column="41" />
670         </state>
671       </provider>
672     </entry>
673     <entry file="file://$PROJECT_DIR$/src/com/company/personalServer.java">
674       <provider selected="true" editor-type-id="text-editor">
675         <state vertical-scroll-proportion="0.0" vertical-offset="363" max-vertical-offset="1116">
676           <caret line="11" column="6" selection-start-line="11" selection-start-column="6" selection-end-line="11" selection-end-column="6" />
677           <folding />
678         </state>
679       </provider>
680     </entry>
681     <entry file="file://$PROJECT_DIR$/src/com/company/dbConnect.java">
682       <provider selected="true" editor-type-id="text-editor">
683         <state vertical-scroll-proportion="0.0" vertical-offset="6928" max-vertical-offset="7668">
684           <caret line="15" column="5" selection-start-line="15" selection-start-column="5" selection-end-line="15" selection-end-column="5" />
685           <folding>
686             <element signature="imports" expanded="true" />
687           </folding>
688         </state>
689       </provider>
690     </entry>
691     <entry file="file://$PROJECT_DIR$/src/com/company/MD5.java">
692       <provider selected="true" editor-type-id="text-editor">
693         <state vertical-scroll-proportion="0.0" vertical-offset="16" max-vertical-offset="756">
694           <caret line="13" column="16" selection-start-line="13" selection-start-column="16" selection-end-line="13" selection-end-column="16" />
695           <folding>
696             <element signature="imports" expanded="true" />
697           </folding>
698         </state>
699       </provider>
700     </entry>
701     <entry file="file://$PROJECT_DIR$/src/com/company/xmlOperation.java">
702       <provider selected="true" editor-type-id="text-editor">
703         <state vertical-scroll-proportion="0.0" vertical-offset="1317" max-vertical-offset="2592">
704           <caret line="98" column="20" selection-start-line="98" selection-start-column="20" selection-end-line="98" selection-end-column="20" />
705           <folding />
706         </state>
707       </provider>
708     </entry>
709     <entry file="file://$PROJECT_DIR$/src/com/company/superServer.java">
710       <provider selected="true" editor-type-id="text-editor">
711         <state vertical-scroll-proportion="0.0" vertical-offset="549" max-vertical-offset="1044">
712           <caret line="41" column="0" selection-start-line="41" selection-start-column="0" selection-end-line="41" selection-end-column="0" />
713           <folding />
714         </state>
715       </provider>
716     </entry>
717     <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
718       <provider selected="true" editor-type-id="text-editor">
719         <state vertical-scroll-proportion="0.0" vertical-offset="558" max-vertical-offset="2466">
720           <caret line="59" column="13" selection-start-line="59" selection-start-column="13" selection-end-line="59" selection-end-column="13" />
721           <folding />
722         </state>
723       </provider>
724     </entry>
725     <entry file="file://$PROJECT_DIR$/src/com/company/httpget.java">
726       <provider selected="true" editor-type-id="text-editor">
727         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="1350">
728           <caret line="0" column="0" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
729           <folding />
730         </state>
731       </provider>
732     </entry>
733     <entry file="file://$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java">
734       <provider selected="true" editor-type-id="text-editor">
735         <state vertical-scroll-proportion="0.0" vertical-offset="162" max-vertical-offset="1530">
736           <caret line="40" column="61" selection-start-line="40" selection-start-column="61" selection-end-line="40" selection-end-column="61" />
737           <folding />
738         </state>
739       </provider>
740     </entry>
741     <entry file="file://$PROJECT_DIR$/src/com/company/xmlOperation.java">
742       <provider selected="true" editor-type-id="text-editor">
743         <state vertical-scroll-proportion="0.0" vertical-offset="657" max-vertical-offset="2016">
744           <caret line="51" column="0" selection-start-line="51" selection-start-column="0" selection-end-line="52" selection-end-column="0" />
745           <folding />
746         </state>
747       </provider>
748     </entry>
749     <entry file="file://$PROJECT_DIR$/src/com/company/superServer.java">
750       <provider selected="true" editor-type-id="text-editor">
751         <state vertical-scroll-proportion="0.0" vertical-offset="342" max-vertical-offset="1044">
752           <caret line="35" column="44" selection-start-line="35" selection-start-column="44" selection-end-line="35" selection-end-column="44" />
753           <folding />
754         </state>
755       </provider>
756     </entry>
757     <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
758       <provider selected="true" editor-type-id="text-editor">
759         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="2466">
760           <caret line="0" column="0" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
761           <folding />
762         </state>
763       </provider>
764     </entry>
765     <entry file="file://$PROJECT_DIR$/src/com/company/httpget.java">
766       <provider selected="true" editor-type-id="text-editor">
767         <state vertical-scroll-proportion="0.0" vertical-offset="126" max-vertical-offset="1350">
768           <caret line="16" column="0" selection-start-line="16" selection-start-column="0" selection-end-line="16" selection-end-column="0" />
769           <folding />
770         </state>
771       </provider>
772     </entry>
773     <entry file="file://$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java">
774       <provider selected="true" editor-type-id="text-editor">
775         <state vertical-scroll-proportion="0.0" vertical-offset="76" max-vertical-offset="1422">
776           <caret line="34" column="20" selection-start-line="34" selection-start-column="20" selection-end-line="34" selection-end-column="20" />
777           <folding />
778         </state>
779       </provider>
780     </entry>
781     <entry file="jar:///usr/lib/jvm/java-8-oracle/src.zip!/java/lang/ClassLoader.java">
782       <provider selected="true" editor-type-id="text-editor">
783         <state vertical-scroll-proportion="0.33333334" vertical-offset="5109" max-vertical-offset="38286">
784           <caret line="356" column="0" selection-start-line="356" selection-start-column="0" selection-end-line="356" selection-end-column="0" />
785         </state>
786       </provider>
787     </entry>
788     <entry file="jar:///usr/lib/jvm/java-8-oracle/src.zip!/java/lang/Class.java">
789       <provider selected="true" editor-type-id="text-editor">
790         <state vertical-scroll-proportion="0.33333334" vertical-offset="3273" max-vertical-offset="63540">
791           <caret line="258" column="0" selection-start-line="258" selection-start-column="0" selection-end-line="258" selection-end-column="0" />
792         </state>
793       </provider>
794     </entry>
795     <entry file="jar:///usr/lib/jvm/java-8-oracle/src.zip!/java/lang/Thread.java">
796       <provider selected="true" editor-type-id="text-editor">
797         <state vertical-scroll-proportion="0.0" vertical-offset="12201" max-vertical-offset="35352">
798           <caret line="744" column="0" selection-start-line="744" selection-start-column="0" selection-end-line="744" selection-end-column="0" />
799         </state>
800       </provider>
801     </entry>
802     <entry file="file://$PROJECT_DIR$/tesi.iml">
803       <provider selected="true" editor-type-id="text-editor">
804         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="753">
805           <caret line="0" column="0" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
806         </state>
807       </provider>
808     </entry>
809     <entry file="jar:///usr/lib/jvm/java-8-oracle/jre/lib/ext/commons-codec-1.10.jar!/org/apache/commons/codec/binary/Hex.class">
810       <provider selected="true" editor-type-id="text-editor">
811         <state vertical-scroll-proportion="0.27197802" vertical-offset="0" max-vertical-offset="1998">
812           <caret line="19" column="23" selection-start-line="0" selection-start-column="0" selection-end-line="131" selection-end-column="0" />
813         </state>
814       </provider>
815     </entry>
816     <entry file="file://$PROJECT_DIR$/src/com/company/xmlOperation.java">
817       <provider selected="true" editor-type-id="text-editor">
818         <state vertical-scroll-proportion="0.19672132" vertical-offset="0" max-vertical-offset="2376">
819           <caret line="18" column="55" selection-start-line="18" selection-start-column="35" selection-end-line="18" selection-end-column="55" />
820           <folding />
821         </state>
822       </provider>
823     </entry>
824     <entry file="file://$PROJECT_DIR$/src/com/company/MD5.java">
825       <provider selected="true" editor-type-id="text-editor">
826         <state vertical-scroll-proportion="0.051460363" vertical-offset="161" max-vertical-offset="936">
827           <caret line="11" column="11" selection-start-line="11" selection-start-column="11" selection-end-line="11" selection-end-column="11" />
828           <folding>
829             <element signature="imports" expanded="true" />
830           </folding>
831         </state>
832       </provider>
833     </entry>
834     <entry file="file://$PROJECT_DIR$/src/com/company/suString.java">
835       <provider selected="true" editor-type-id="text-editor">
836         <state vertical-scroll-proportion="0.0" vertical-offset="324" max-vertical-offset="1296">
837           <caret line="18" column="13" selection-start-line="18" selection-start-column="13" selection-end-line="18" selection-end-column="13" />
838           <folding>
839             <element signature="imports" expanded="true" />
840           </folding>
841         </state>
842       </provider>
843     </entry>
844     <entry file="file://$PROJECT_DIR$/src/com/company/EmailSender.java">
845       <provider selected="true" editor-type-id="text-editor">
846         <state vertical-scroll-proportion="0.21311475" vertical-offset="1302" max-vertical-offset="2088">
847           <caret line="81" column="37" selection-start-line="81" selection-start-column="37" selection-end-line="81" selection-end-column="37" />
848           <folding>
849             <element signature="imports" expanded="true" />
850           </folding>
851         </state>
852       </provider>
853     </entry>
854     <entry file="file://$PROJECT_DIR$/src/com/company/httpget.java">
855       <provider selected="true" editor-type-id="text-editor">
856         <state vertical-scroll-proportion="0.5757997" vertical-offset="0" max-vertical-offset="1386">
857           <caret line="31" column="94" selection-start-line="31" selection-start-column="94" selection-end-line="31" selection-end-column="94" />
858           <folding />
859         </state>
860       </provider>
861     </entry>
862     <entry file="file://$PROJECT_DIR$/src/com/company/guestServer.java">
863       <provider selected="true" editor-type-id="text-editor">
864         <state vertical-scroll-proportion="0.0" vertical-offset="905" max-vertical-offset="1404">
865           <caret line="74" column="0" selection-start-line="74" selection-start-column="0" selection-end-line="74" selection-end-column="0" />
866           <folding />
867         </state>
868       </provider>
869     </entry>
870     <entry file="file://$PROJECT_DIR$/src/com/company/personalServer.java">
871       <provider selected="true" editor-type-id="text-editor">
872         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="990">
873           <caret line="20" column="12" selection-start-line="20" selection-start-column="12" selection-end-line="20" selection-end-column="12" />
874           <folding />
875         </state>
876       </provider>
877     </entry>
878     <entry file="file://$PROJECT_DIR$/src/com/company/superServer.java">
879       <provider selected="true" editor-type-id="text-editor">
880         <state vertical-scroll-proportion="0.0" vertical-offset="38" max-vertical-offset="1044">
881           <caret line="16" column="24" selection-start-line="16" selection-start-column="24" selection-end-line="16" selection-end-column="43" />
882           <folding />
883         </state>
884       </provider>
885     </entry>
886     <entry file="file://$PROJECT_DIR$/src/com/company/dbConnect.java">
887       <provider selected="true" editor-type-id="text-editor">
888         <state vertical-scroll-proportion="0.0" vertical-offset="2160" max-vertical-offset="5724">
889           <caret line="226" column="19" selection-start-line="226" selection-start-column="19" selection-end-line="226" selection-end-column="19" />
890           <folding>
891             <element signature="imports" expanded="true" />
892           </folding>
893         </state>
894       </provider>
895     </entry>
896     <entry file="file://$PROJECT_DIR$/src/com/company/DirectoryWhatcer.java">
897       <provider selected="true" editor-type-id="text-editor">
898         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="1980">
899           <caret line="25" column="42" selection-start-line="25" selection-start-column="42" selection-end-line="25" selection-end-column="42" />
900           <folding />
901         </state>
902       </provider>
903     </entry>
904     <entry file="file://$PROJECT_DIR$/src/com/company/esercizi.xml">
905       <provider selected="true" editor-type-id="text-editor">
906         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="198">
907           <caret line="1" column="0" selection-start-line="1" selection-start-column="0" selection-end-line="1" selection-end-column="0" />
908           <folding />
909         </state>
910       </provider>
911     </entry>
912     <entry file="file://$PROJECT_DIR$/src/com/company/EsNameParser.java">
913       <provider selected="true" editor-type-id="text-editor">
914         <state vertical-scroll-proportion="0.0" vertical-offset="0" max-vertical-offset="2466">
915           <caret line="17" column="19" selection-start-line="17" selection-start-column="19" selection-end-line="17" selection-end-column="19" />
916           <folding />
917         </state>
918       </provider>
919     </entry>
920     <entry file="file://$PROJECT_DIR$/src/com/company/global.java">
921       <provider selected="true" editor-type-id="text-editor">
922         <state vertical-scroll-proportion="0.3452055" vertical-offset="0" max-vertical-offset="730">
923           <caret line="14" column="0" selection-start-line="14" selection-start-column="0" selection-end-line="14" selection-end-column="0" />
924           <folding />
925         </state>
926       </provider>
927     </entry>
928   </component>
929   <component name="masterDetails">
930     <states>
931       <state key="ArtifactsStructureConfigurable.UI">
932         <settings>
933           <artifact-editor />
934           <splitter-proportions>
935             <option name="proportions">
936               <list>
937                 <option value="0.2" />
938               </list>
939             </option>
940           </splitter-proportions>
941         </settings>
942       </state>
943       <state key="FacetStructureConfigurable.UI">
944         <settings>
945           <last-edited>No facets are configured</last-edited>
946           <splitter-proportions>
947             <option name="proportions">
948               <list>
949                 <option value="0.2" />
950               </list>
951             </option>
952           </splitter-proportions>
953         </settings>
954       </state>
955       <state key="GlobalLibrariesConfigurable.UI">
956         <settings>
957           <splitter-proportions>
958             <option name="proportions">
959               <list>
960                 <option value="0.2" />
961               </list>
962             </option>
963           </splitter-proportions>
964         </settings>
965       </state>
966       <state key="JdkListConfigurable.UI">
967         <settings>
968           <last-edited>1.8</last-edited>
969           <splitter-proportions>
970             <option name="proportions">
971               <list>
972                 <option value="0.2" />
973               </list>
974             </option>
975           </splitter-proportions>
976         </settings>
977       </state>
978       <state key="ModuleStructureConfigurable.UI">
979         <settings>
980           <last-edited>tesi</last-edited>
981           <splitter-proportions>
982             <option name="proportions">
983               <list>
984                 <option value="0.2" />
985               </list>
986             </option>
987           </splitter-proportions>
988         </settings>
989       </state>
990       <state key="ProjectLibrariesConfigurable.UI">
991         <settings>
992           <splitter-proportions>
993             <option name="proportions">
994               <list>
995                 <option value="0.2" />
996               </list>
997             </option>
998           </splitter-proportions>
999         </settings>
1000       </state>
1001     </states>
1002   </component>
1003 </project>