From 43790c4cb0d895d5cf3abcdba417db0dcda91676 Mon Sep 17 00:00:00 2001
From: Pavel Sher <pavel.sher@jetbrains.com>
Date: Wed, 22 Jun 2011 21:48:37 +0200
Subject: [PATCH] minor IDEA project changes

---
 jps/.idea/inspectionProfiles/profiles_settings.xml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/jps/.idea/inspectionProfiles/profiles_settings.xml b/jps/.idea/inspectionProfiles/profiles_settings.xml
index 30228cb80b37..636c5c79a634 100644
--- a/jps/.idea/inspectionProfiles/profiles_settings.xml
+++ b/jps/.idea/inspectionProfiles/profiles_settings.xml
@@ -3,12 +3,13 @@
     <option name="PROJECT_PROFILE" value="Project Default" />
     <option name="USE_PROJECT_PROFILE" value="true" />
     <version value="1.0" />
-    <list size="5">
+    <list size="6">
       <item index="0" class="java.lang.String" itemvalue="TYPO" />
-      <item index="1" class="java.lang.String" itemvalue="INFO" />
-      <item index="2" class="java.lang.String" itemvalue="WARNING" />
-      <item index="3" class="java.lang.String" itemvalue="ERROR" />
-      <item index="4" class="java.lang.String" itemvalue="SERVER PROBLEM" />
+      <item index="1" class="java.lang.String" itemvalue="WEAK WARNING" />
+      <item index="2" class="java.lang.String" itemvalue="INFO" />
+      <item index="3" class="java.lang.String" itemvalue="WARNING" />
+      <item index="4" class="java.lang.String" itemvalue="ERROR" />
+      <item index="5" class="java.lang.String" itemvalue="SERVER PROBLEM" />
     </list>
   </settings>
 </component>
\ No newline at end of file