Index: trunk/.settings/edu.umd.cs.findbugs.core.prefs
===================================================================
--- trunk/.settings/edu.umd.cs.findbugs.core.prefs	(revision 4868)
+++ trunk/.settings/edu.umd.cs.findbugs.core.prefs	(revision 6757)
@@ -1,4 +1,4 @@
 #FindBugs User Preferences
-#Tue Jan 24 21:25:31 CET 2012
+#Fri Jan 24 10:43:38 CET 2014
 cloud_id=edu.umd.cs.findbugs.cloud.doNothingCloud
 detectorAppendingToAnObjectOutputStream=AppendingToAnObjectOutputStream|true
@@ -13,4 +13,5 @@
 detectorCheckExpectedWarnings=CheckExpectedWarnings|false
 detectorCheckImmutableAnnotation=CheckImmutableAnnotation|true
+detectorCheckRelaxingNullnessAnnotation=CheckRelaxingNullnessAnnotation|true
 detectorCheckTypeQualifiers=CheckTypeQualifiers|true
 detectorCloneIdiom=CloneIdiom|true
@@ -82,4 +83,5 @@
 detectorInheritanceUnsafeGetResource=InheritanceUnsafeGetResource|true
 detectorInitializationChain=InitializationChain|true
+detectorInitializeNonnullFieldsInConstructor=InitializeNonnullFieldsInConstructor|true
 detectorInstantiateStaticClass=InstantiateStaticClass|true
 detectorIntCast2LongAsInstant=IntCast2LongAsInstant|true
