<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="http://findbugs.sourceforge.net/xsl/default.xsl"?>

<BugCollection version="1.3.8" sequence="0" timestamp="1360042404170" analysisTimestamp="1360042405627" release="">
  <Project filename="&lt;&lt;unnamed project&gt;&gt;" projectName="">
    <Jar>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelSe/target/classes</Jar>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/junit.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/xercesImpl.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/xml-apis.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/xalan.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-io-1.4.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-lang-2.4.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-logging-1.1.1.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-httpclient-3.1.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-codec-1.3.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/log4j-1.2.14.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/forms-1.1.0.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/looks-2.1.4.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/clover-2.3.1.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/jh-2.0.5.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/jdepend-2.9.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqBase/target/classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqBase/src/main/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqBase/src/test/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqBase/target/test-classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelSe/target/classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelSe/src/main/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelSe/src/test/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelSe/target/test-classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelBo/target/test-classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelBo/target/classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelBo/src/main/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelBo/src/test/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelXml/target/classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelXml/src/main/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelXml/src/test/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelXml/target/test-classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/target/classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/resources</AuxClasspathEntry>
    <SrcDir>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelSe/src/main/java</SrcDir>
  </Project>
  <Errors errors="0" missingClasses="0"></Errors>
  <FindBugsSummary timestamp="Tue, 5 Feb 2013 05:33:24 +0000" total_classes="138" referenced_classes="196" total_bugs="0" total_size="5201" num_packages="7" vm_version="14.3-b01" cpu_seconds="8.10" clock_seconds="10.54" peak_mbytes="136.50" alloc_mbytes="508.06" gc_seconds="2.90">
    <FileStats path="org/qedeq/kernel/se/base/list/Atom.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/list/Element.java" bugCount="0" size="10"/>
    <FileStats path="org/qedeq/kernel/se/base/list/ElementList.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Add.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Author.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/AuthorList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Axiom.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ChangedRule.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ChangedRuleList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Chapter.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ChapterList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Conclusion.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ConditionalProof.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Existential.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProof.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProofLine.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProofLineList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProofList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Formula.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FunctionDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Header.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Hypothesis.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Import.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ImportList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/InitialFunctionDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/InitialPredicateDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Latex.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LatexList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LinkList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LiteratureItem.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LiteratureItemList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Location.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LocationList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ModusPonens.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Node.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/se/base/module/NodeType.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/se/base/module/PredicateDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Proof.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ProofList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Proposition.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Qedeq.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Reason.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Rename.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Rule.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Section.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SectionList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Specification.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Subsection.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubsectionList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubsectionType.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubstFree.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubstFunc.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubstPred.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Term.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Universal.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/UsedByList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/common/CheckLevel.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/common/DefaultModuleAddress.java" bugCount="0" size="143"/>
    <FileStats path="org/qedeq/kernel/se/common/DependencyState.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/common/DependencyStateDescriptions.java" bugCount="0" size="11"/>
    <FileStats path="org/qedeq/kernel/se/common/ErrorCodes.java" bugCount="0" size="1"/>
    <FileStats path="org/qedeq/kernel/se/common/IllegalModuleDataException.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/se/common/LoadingState.java" bugCount="0" size="51"/>
    <FileStats path="org/qedeq/kernel/se/common/LoadingStateDescriptions.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/se/common/LogicalModuleState.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/se/common/LogicalModuleStateDescriptions.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/se/common/ModuleAddress.java" bugCount="0" size="10"/>
    <FileStats path="org/qedeq/kernel/se/common/ModuleContext.java" bugCount="0" size="55"/>
    <FileStats path="org/qedeq/kernel/se/common/ModuleDataException.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/se/common/Plugin.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/common/QedeqException.java" bugCount="0" size="12"/>
    <FileStats path="org/qedeq/kernel/se/common/RuleKey.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/se/common/SourceFileException.java" bugCount="0" size="51"/>
    <FileStats path="org/qedeq/kernel/se/common/SourceFileExceptionList.java" bugCount="0" size="73"/>
    <FileStats path="org/qedeq/kernel/se/common/State.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/config/ConfigAccess.java" bugCount="0" size="101"/>
    <FileStats path="org/qedeq/kernel/se/config/QedeqConfig.java" bugCount="0" size="167"/>
    <FileStats path="org/qedeq/kernel/se/dto/list/DefaultAtom.java" bugCount="0" size="41"/>
    <FileStats path="org/qedeq/kernel/se/dto/list/DefaultElementList.java" bugCount="0" size="108"/>
    <FileStats path="org/qedeq/kernel/se/dto/list/ElementSet.java" bugCount="0" size="100"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AddVo.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AuthorListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AuthorVo.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AxiomVo.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChangedRuleListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChangedRuleVo.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChapterListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChapterVo.java" bugCount="0" size="49"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ConclusionVo.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ConditionalProofVo.java" bugCount="0" size="68"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ExistentialVo.java" bugCount="0" size="52"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofLineListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofLineVo.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofVo.java" bugCount="0" size="42"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormulaVo.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FunctionDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/HeaderVo.java" bugCount="0" size="66"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/HypothesisVo.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ImportListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ImportVo.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/InitialFunctionDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/InitialPredicateDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LatexListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LatexVo.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LinkListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LiteratureItemListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LiteratureItemVo.java" bugCount="0" size="28"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LocationListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LocationVo.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ModusPonensVo.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/NodeVo.java" bugCount="0" size="73"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/PredicateDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ProofListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ProofVo.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/PropositionVo.java" bugCount="0" size="70"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/QedeqVo.java" bugCount="0" size="40"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/RenameVo.java" bugCount="0" size="78"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/RuleVo.java" bugCount="0" size="85"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SectionListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SectionVo.java" bugCount="0" size="44"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SpecificationVo.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubsectionListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubsectionVo.java" bugCount="0" size="49"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubstFreeVo.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubstFuncVo.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubstPredVo.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/TermVo.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/UniversalVo.java" bugCount="0" size="52"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/UsedByListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/visitor/AbstractModuleVisitor.java" bugCount="0" size="219"/>
    <FileStats path="org/qedeq/kernel/se/visitor/InterruptException.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/visitor/LatexList2Text.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/visitor/ListVisitor.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqNotNullTraverser.java" bugCount="0" size="978"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqNumbers.java" bugCount="0" size="143"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqTraverser.java" bugCount="0" size="56"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqVisitor.java" bugCount="0" size="105"/>
    <PackageStats package="org.qedeq.kernel.se.base.list" total_bugs="0" total_types="3" total_size="21">
      <ClassStats class="org.qedeq.kernel.se.base.list.Atom" sourceFile="Atom.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.list.Element" sourceFile="Element.java" interface="true" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.list.ElementList" sourceFile="ElementList.java" interface="true" size="9" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.base.module" total_bugs="0" total_types="53" total_size="218">
      <ClassStats class="org.qedeq.kernel.se.base.module.Add" sourceFile="Add.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Author" sourceFile="Author.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.AuthorList" sourceFile="AuthorList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Axiom" sourceFile="Axiom.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ChangedRule" sourceFile="ChangedRule.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ChangedRuleList" sourceFile="ChangedRuleList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Chapter" sourceFile="Chapter.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ChapterList" sourceFile="ChapterList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Conclusion" sourceFile="Conclusion.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ConditionalProof" sourceFile="ConditionalProof.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Existential" sourceFile="Existential.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProof" sourceFile="FormalProof.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProofLine" sourceFile="FormalProofLine.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProofLineList" sourceFile="FormalProofLineList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProofList" sourceFile="FormalProofList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Formula" sourceFile="Formula.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FunctionDefinition" sourceFile="FunctionDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Header" sourceFile="Header.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Hypothesis" sourceFile="Hypothesis.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Import" sourceFile="Import.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ImportList" sourceFile="ImportList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.InitialFunctionDefinition" sourceFile="InitialFunctionDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.InitialPredicateDefinition" sourceFile="InitialPredicateDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Latex" sourceFile="Latex.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LatexList" sourceFile="LatexList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LinkList" sourceFile="LinkList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LiteratureItem" sourceFile="LiteratureItem.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LiteratureItemList" sourceFile="LiteratureItemList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Location" sourceFile="Location.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LocationList" sourceFile="LocationList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ModusPonens" sourceFile="ModusPonens.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Node" sourceFile="Node.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.NodeType" sourceFile="NodeType.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.PredicateDefinition" sourceFile="PredicateDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Proof" sourceFile="Proof.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ProofList" sourceFile="ProofList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Proposition" sourceFile="Proposition.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Qedeq" sourceFile="Qedeq.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Reason" sourceFile="Reason.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Rename" sourceFile="Rename.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Rule" sourceFile="Rule.java" interface="true" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Section" sourceFile="Section.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SectionList" sourceFile="SectionList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Specification" sourceFile="Specification.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Subsection" sourceFile="Subsection.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubsectionList" sourceFile="SubsectionList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubsectionType" sourceFile="SubsectionType.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubstFree" sourceFile="SubstFree.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubstFunc" sourceFile="SubstFunc.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubstPred" sourceFile="SubstPred.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Term" sourceFile="Term.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Universal" sourceFile="Universal.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.UsedByList" sourceFile="UsedByList.java" interface="true" size="3" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.common" total_bugs="0" total_types="19" total_size="599">
      <ClassStats class="org.qedeq.kernel.se.common.CheckLevel" sourceFile="CheckLevel.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DefaultModuleAddress" sourceFile="DefaultModuleAddress.java" interface="false" size="143" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DependencyState" sourceFile="DependencyState.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DependencyStateDescriptions" sourceFile="DependencyStateDescriptions.java" interface="true" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ErrorCodes" sourceFile="ErrorCodes.java" interface="true" size="1" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.IllegalModuleDataException" sourceFile="IllegalModuleDataException.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LoadingState" sourceFile="LoadingState.java" interface="false" size="51" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LoadingStateDescriptions" sourceFile="LoadingStateDescriptions.java" interface="true" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LogicalModuleState" sourceFile="LogicalModuleState.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LogicalModuleStateDescriptions" sourceFile="LogicalModuleStateDescriptions.java" interface="true" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ModuleAddress" sourceFile="ModuleAddress.java" interface="true" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ModuleContext" sourceFile="ModuleContext.java" interface="false" size="55" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ModuleDataException" sourceFile="ModuleDataException.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.Plugin" sourceFile="Plugin.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.QedeqException" sourceFile="QedeqException.java" interface="false" size="12" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.RuleKey" sourceFile="RuleKey.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.SourceFileException" sourceFile="SourceFileException.java" interface="false" size="51" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.SourceFileExceptionList" sourceFile="SourceFileExceptionList.java" interface="false" size="73" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.State" sourceFile="State.java" interface="true" size="4" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.config" total_bugs="0" total_types="2" total_size="268">
      <ClassStats class="org.qedeq.kernel.se.config.ConfigAccess" sourceFile="ConfigAccess.java" interface="false" size="101" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.config.QedeqConfig" sourceFile="QedeqConfig.java" interface="false" size="167" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.dto.list" total_bugs="0" total_types="3" total_size="249">
      <ClassStats class="org.qedeq.kernel.se.dto.list.DefaultAtom" sourceFile="DefaultAtom.java" interface="false" size="41" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.list.DefaultElementList" sourceFile="DefaultElementList.java" interface="false" size="108" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.list.ElementSet" sourceFile="ElementSet.java" interface="false" size="100" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.dto.module" total_bugs="0" total_types="50" total_size="2299">
      <ClassStats class="org.qedeq.kernel.se.dto.module.AddVo" sourceFile="AddVo.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.AuthorListVo" sourceFile="AuthorListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.AuthorVo" sourceFile="AuthorVo.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.AxiomVo" sourceFile="AxiomVo.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChangedRuleListVo" sourceFile="ChangedRuleListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChangedRuleVo" sourceFile="ChangedRuleVo.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChapterListVo" sourceFile="ChapterListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChapterVo" sourceFile="ChapterVo.java" interface="false" size="49" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ConclusionVo" sourceFile="ConclusionVo.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ConditionalProofVo" sourceFile="ConditionalProofVo.java" interface="false" size="68" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ExistentialVo" sourceFile="ExistentialVo.java" interface="false" size="52" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofLineListVo" sourceFile="FormalProofLineListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofLineVo" sourceFile="FormalProofLineVo.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofListVo" sourceFile="FormalProofListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofVo" sourceFile="FormalProofVo.java" interface="false" size="42" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormulaVo" sourceFile="FormulaVo.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FunctionDefinitionVo" sourceFile="FunctionDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.HeaderVo" sourceFile="HeaderVo.java" interface="false" size="66" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.HypothesisVo" sourceFile="HypothesisVo.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ImportListVo" sourceFile="ImportListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ImportVo" sourceFile="ImportVo.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.InitialFunctionDefinitionVo" sourceFile="InitialFunctionDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.InitialPredicateDefinitionVo" sourceFile="InitialPredicateDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LatexListVo" sourceFile="LatexListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LatexVo" sourceFile="LatexVo.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LinkListVo" sourceFile="LinkListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LiteratureItemListVo" sourceFile="LiteratureItemListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LiteratureItemVo" sourceFile="LiteratureItemVo.java" interface="false" size="28" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LocationListVo" sourceFile="LocationListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LocationVo" sourceFile="LocationVo.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ModusPonensVo" sourceFile="ModusPonensVo.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.NodeVo" sourceFile="NodeVo.java" interface="false" size="73" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.PredicateDefinitionVo" sourceFile="PredicateDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ProofListVo" sourceFile="ProofListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ProofVo" sourceFile="ProofVo.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.PropositionVo" sourceFile="PropositionVo.java" interface="false" size="70" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.QedeqVo" sourceFile="QedeqVo.java" interface="false" size="40" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.RenameVo" sourceFile="RenameVo.java" interface="false" size="78" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.RuleVo" sourceFile="RuleVo.java" interface="false" size="85" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SectionListVo" sourceFile="SectionListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SectionVo" sourceFile="SectionVo.java" interface="false" size="44" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SpecificationVo" sourceFile="SpecificationVo.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubsectionListVo" sourceFile="SubsectionListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubsectionVo" sourceFile="SubsectionVo.java" interface="false" size="49" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubstFreeVo" sourceFile="SubstFreeVo.java" interface="false" size="65" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubstFuncVo" sourceFile="SubstFuncVo.java" interface="false" size="65" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubstPredVo" sourceFile="SubstPredVo.java" interface="false" size="65" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.TermVo" sourceFile="TermVo.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.UniversalVo" sourceFile="UniversalVo.java" interface="false" size="52" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.UsedByListVo" sourceFile="UsedByListVo.java" interface="false" size="38" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.visitor" total_bugs="0" total_types="8" total_size="1547">
      <ClassStats class="org.qedeq.kernel.se.visitor.AbstractModuleVisitor" sourceFile="AbstractModuleVisitor.java" interface="false" size="219" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.InterruptException" sourceFile="InterruptException.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.LatexList2Text" sourceFile="LatexList2Text.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.ListVisitor" sourceFile="ListVisitor.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqNotNullTraverser" sourceFile="QedeqNotNullTraverser.java" interface="false" size="978" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqNumbers" sourceFile="QedeqNumbers.java" interface="false" size="143" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqTraverser" sourceFile="QedeqTraverser.java" interface="true" size="56" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqVisitor" sourceFile="QedeqVisitor.java" interface="true" size="105" bugs="0"/>
    </PackageStats>
    <FindBugsProfile>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeAndNullCheckField" totalMilliseconds="11" invocations="138" avgMicrosecondsPerInvocation="83" maxMicrosecondsPerInvocation="1818" standardDeviationMircosecondsPerInvocation="196"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.asm.ClassReaderAnalysisEngine" totalMilliseconds="11" invocations="545" avgMicrosecondsPerInvocation="21" maxMicrosecondsPerInvocation="7343" standardDeviationMircosecondsPerInvocation="314"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUncalledPrivateMethods" totalMilliseconds="11" invocations="138" avgMicrosecondsPerInvocation="85" maxMicrosecondsPerInvocation="2808" standardDeviationMircosecondsPerInvocation="245"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.QuestionableBooleanAssignment" totalMilliseconds="12" invocations="138" avgMicrosecondsPerInvocation="93" maxMicrosecondsPerInvocation="6174" standardDeviationMircosecondsPerInvocation="537"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsyncGet" totalMilliseconds="12" invocations="138" avgMicrosecondsPerInvocation="94" maxMicrosecondsPerInvocation="1655" standardDeviationMircosecondsPerInvocation="154"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantPoolGenFactory" totalMilliseconds="13" invocations="138" avgMicrosecondsPerInvocation="94" maxMicrosecondsPerInvocation="5220" standardDeviationMircosecondsPerInvocation="483"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison2" totalMilliseconds="13" invocations="138" avgMicrosecondsPerInvocation="95" maxMicrosecondsPerInvocation="3515" standardDeviationMircosecondsPerInvocation="327"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSleepWithLockHeld" totalMilliseconds="13" invocations="138" avgMicrosecondsPerInvocation="97" maxMicrosecondsPerInvocation="10150" standardDeviationMircosecondsPerInvocation="863"/>
      <ClassProfile name="edu.umd.cs.findbugs.NonReportingDetectorToDetector2Adapter" totalMilliseconds="13" invocations="2824" avgMicrosecondsPerInvocation="4" maxMicrosecondsPerInvocation="2288" standardDeviationMircosecondsPerInvocation="47"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindLocalSelfAssignment2" totalMilliseconds="14" invocations="138" avgMicrosecondsPerInvocation="103" maxMicrosecondsPerInvocation="7583" standardDeviationMircosecondsPerInvocation="642"/>
      <ClassProfile name="edu.umd.cs.findbugs.util.TopologicalSort" totalMilliseconds="14" invocations="139" avgMicrosecondsPerInvocation="102" maxMicrosecondsPerInvocation="3153" standardDeviationMircosecondsPerInvocation="365"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LazyInit" totalMilliseconds="14" invocations="138" avgMicrosecondsPerInvocation="104" maxMicrosecondsPerInvocation="5163" standardDeviationMircosecondsPerInvocation="572"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReverseDepthFirstSearchFactory" totalMilliseconds="15" invocations="1021" avgMicrosecondsPerInvocation="15" maxMicrosecondsPerInvocation="699" standardDeviationMircosecondsPerInvocation="41"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.obl.ObligationAnalysis" totalMilliseconds="15" invocations="16" avgMicrosecondsPerInvocation="984" maxMicrosecondsPerInvocation="3313" standardDeviationMircosecondsPerInvocation="1126"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindOpenStream" totalMilliseconds="16" invocations="138" avgMicrosecondsPerInvocation="122" maxMicrosecondsPerInvocation="8960" standardDeviationMircosecondsPerInvocation="948"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteUnconditionalParamDerefs" totalMilliseconds="20" invocations="138" avgMicrosecondsPerInvocation="146" maxMicrosecondsPerInvocation="2727" standardDeviationMircosecondsPerInvocation="358"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.DepthFirstSearchFactory" totalMilliseconds="22" invocations="1222" avgMicrosecondsPerInvocation="18" maxMicrosecondsPerInvocation="4074" standardDeviationMircosecondsPerInvocation="127"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.Naming" totalMilliseconds="22" invocations="138" avgMicrosecondsPerInvocation="161" maxMicrosecondsPerInvocation="2725" standardDeviationMircosecondsPerInvocation="348"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeOnClassLiteralNotGetClass" totalMilliseconds="25" invocations="138" avgMicrosecondsPerInvocation="182" maxMicrosecondsPerInvocation="5399" standardDeviationMircosecondsPerInvocation="501"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.AppendingToAnObjectOutputStream" totalMilliseconds="26" invocations="138" avgMicrosecondsPerInvocation="190" maxMicrosecondsPerInvocation="5307" standardDeviationMircosecondsPerInvocation="482"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DuplicateBranches" totalMilliseconds="26" invocations="138" avgMicrosecondsPerInvocation="193" maxMicrosecondsPerInvocation="2999" standardDeviationMircosecondsPerInvocation="415"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizingOnContentsOfFieldToProtectField" totalMilliseconds="26" invocations="138" avgMicrosecondsPerInvocation="194" maxMicrosecondsPerInvocation="5612" standardDeviationMircosecondsPerInvocation="506"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFloatEquality" totalMilliseconds="26" invocations="138" avgMicrosecondsPerInvocation="194" maxMicrosecondsPerInvocation="5804" standardDeviationMircosecondsPerInvocation="521"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadResultSetAccess" totalMilliseconds="26" invocations="138" avgMicrosecondsPerInvocation="195" maxMicrosecondsPerInvocation="5862" standardDeviationMircosecondsPerInvocation="521"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CrossSiteScripting" totalMilliseconds="27" invocations="138" avgMicrosecondsPerInvocation="197" maxMicrosecondsPerInvocation="5567" standardDeviationMircosecondsPerInvocation="509"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SerializableIdiom" totalMilliseconds="27" invocations="138" avgMicrosecondsPerInvocation="199" maxMicrosecondsPerInvocation="6650" standardDeviationMircosecondsPerInvocation="639"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadForLoop" totalMilliseconds="28" invocations="138" avgMicrosecondsPerInvocation="203" maxMicrosecondsPerInvocation="5791" standardDeviationMircosecondsPerInvocation="527"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnrelatedTypesInGenericContainer" totalMilliseconds="28" invocations="138" avgMicrosecondsPerInvocation="207" maxMicrosecondsPerInvocation="10465" standardDeviationMircosecondsPerInvocation="979"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FormatStringChecker" totalMilliseconds="28" invocations="138" avgMicrosecondsPerInvocation="208" maxMicrosecondsPerInvocation="5782" standardDeviationMircosecondsPerInvocation="535"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.impl.ZipCodeBaseFactory" totalMilliseconds="28" invocations="25" avgMicrosecondsPerInvocation="1156" maxMicrosecondsPerInvocation="23942" standardDeviationMircosecondsPerInvocation="4658"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonShortCircuit" totalMilliseconds="29" invocations="138" avgMicrosecondsPerInvocation="211" maxMicrosecondsPerInvocation="6090" standardDeviationMircosecondsPerInvocation="554"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSqlInjection" totalMilliseconds="29" invocations="138" avgMicrosecondsPerInvocation="216" maxMicrosecondsPerInvocation="7744" standardDeviationMircosecondsPerInvocation="735"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.ReflectiveClasses" totalMilliseconds="30" invocations="196" avgMicrosecondsPerInvocation="156" maxMicrosecondsPerInvocation="9818" standardDeviationMircosecondsPerInvocation="731"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteRecursiveLoop" totalMilliseconds="31" invocations="138" avgMicrosecondsPerInvocation="229" maxMicrosecondsPerInvocation="5493" standardDeviationMircosecondsPerInvocation="603"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MethodReturnCheck" totalMilliseconds="33" invocations="138" avgMicrosecondsPerInvocation="239" maxMicrosecondsPerInvocation="6782" standardDeviationMircosecondsPerInvocation="622"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CalledMethods" totalMilliseconds="33" invocations="196" avgMicrosecondsPerInvocation="172" maxMicrosecondsPerInvocation="3899" standardDeviationMircosecondsPerInvocation="408"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadCast2" totalMilliseconds="33" invocations="138" avgMicrosecondsPerInvocation="245" maxMicrosecondsPerInvocation="16309" standardDeviationMircosecondsPerInvocation="1470"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RepeatedConditionals" totalMilliseconds="34" invocations="138" avgMicrosecondsPerInvocation="248" maxMicrosecondsPerInvocation="6165" standardDeviationMircosecondsPerInvocation="643"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RuntimeExceptionCapture" totalMilliseconds="34" invocations="138" avgMicrosecondsPerInvocation="252" maxMicrosecondsPerInvocation="7451" standardDeviationMircosecondsPerInvocation="688"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.IncompatMask" totalMilliseconds="34" invocations="138" avgMicrosecondsPerInvocation="253" maxMicrosecondsPerInvocation="27566" standardDeviationMircosecondsPerInvocation="2338"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDerefsInvolvingNonShortCircuitEvaluation" totalMilliseconds="35" invocations="138" avgMicrosecondsPerInvocation="260" maxMicrosecondsPerInvocation="10489" standardDeviationMircosecondsPerInvocation="1006"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SwitchFallthrough" totalMilliseconds="36" invocations="138" avgMicrosecondsPerInvocation="260" maxMicrosecondsPerInvocation="6515" standardDeviationMircosecondsPerInvocation="623"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EqualsOperandShouldHaveClassCompatibleWithThis" totalMilliseconds="36" invocations="196" avgMicrosecondsPerInvocation="186" maxMicrosecondsPerInvocation="3160" standardDeviationMircosecondsPerInvocation="396"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison" totalMilliseconds="37" invocations="138" avgMicrosecondsPerInvocation="271" maxMicrosecondsPerInvocation="8133" standardDeviationMircosecondsPerInvocation="765"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison" totalMilliseconds="38" invocations="138" avgMicrosecondsPerInvocation="278" maxMicrosecondsPerInvocation="5294" standardDeviationMircosecondsPerInvocation="725"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref" totalMilliseconds="40" invocations="138" avgMicrosecondsPerInvocation="296" maxMicrosecondsPerInvocation="4204" standardDeviationMircosecondsPerInvocation="647"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizationOnSharedBuiltinConstant" totalMilliseconds="41" invocations="138" avgMicrosecondsPerInvocation="299" maxMicrosecondsPerInvocation="10623" standardDeviationMircosecondsPerInvocation="1042"/>
      <ClassProfile name="edu.umd.cs.findbugs.DetectorToDetector2Adapter" totalMilliseconds="42" invocations="14962" avgMicrosecondsPerInvocation="2" maxMicrosecondsPerInvocation="1053" standardDeviationMircosecondsPerInvocation="9"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase" totalMilliseconds="42" invocations="196" avgMicrosecondsPerInvocation="216" maxMicrosecondsPerInvocation="5023" standardDeviationMircosecondsPerInvocation="552"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteLoop" totalMilliseconds="42" invocations="138" avgMicrosecondsPerInvocation="310" maxMicrosecondsPerInvocation="11611" standardDeviationMircosecondsPerInvocation="1050"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindPuzzlers" totalMilliseconds="43" invocations="138" avgMicrosecondsPerInvocation="311" maxMicrosecondsPerInvocation="10887" standardDeviationMircosecondsPerInvocation="1116"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethods" totalMilliseconds="43" invocations="138" avgMicrosecondsPerInvocation="313" maxMicrosecondsPerInvocation="8221" standardDeviationMircosecondsPerInvocation="765"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRunInvocations" totalMilliseconds="46" invocations="138" avgMicrosecondsPerInvocation="333" maxMicrosecondsPerInvocation="38553" standardDeviationMircosecondsPerInvocation="3268"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LoadOfKnownNullValue" totalMilliseconds="49" invocations="138" avgMicrosecondsPerInvocation="356" maxMicrosecondsPerInvocation="9554" standardDeviationMircosecondsPerInvocation="1048"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindReturnRef" totalMilliseconds="53" invocations="138" avgMicrosecondsPerInvocation="389" maxMicrosecondsPerInvocation="15796" standardDeviationMircosecondsPerInvocation="1660"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnreadFields" totalMilliseconds="54" invocations="138" avgMicrosecondsPerInvocation="395" maxMicrosecondsPerInvocation="10928" standardDeviationMircosecondsPerInvocation="1149"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReturnPathTypeDataflowFactory" totalMilliseconds="55" invocations="250" avgMicrosecondsPerInvocation="223" maxMicrosecondsPerInvocation="19770" standardDeviationMircosecondsPerInvocation="1253"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.JavaClassAnalysisEngine" totalMilliseconds="61" invocations="217" avgMicrosecondsPerInvocation="281" maxMicrosecondsPerInvocation="12407" standardDeviationMircosecondsPerInvocation="1146"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.URLProblems" totalMilliseconds="64" invocations="138" avgMicrosecondsPerInvocation="467" maxMicrosecondsPerInvocation="11944" standardDeviationMircosecondsPerInvocation="1441"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteNonnullReturnValues" totalMilliseconds="64" invocations="138" avgMicrosecondsPerInvocation="470" maxMicrosecondsPerInvocation="32358" standardDeviationMircosecondsPerInvocation="2757"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindHEmismatch" totalMilliseconds="70" invocations="138" avgMicrosecondsPerInvocation="511" maxMicrosecondsPerInvocation="33183" standardDeviationMircosecondsPerInvocation="2888"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethodInvocations" totalMilliseconds="73" invocations="138" avgMicrosecondsPerInvocation="533" maxMicrosecondsPerInvocation="55642" standardDeviationMircosecondsPerInvocation="4720"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref$CheckCallSitesAndReturnInstructions" totalMilliseconds="74" invocations="1021" avgMicrosecondsPerInvocation="72" maxMicrosecondsPerInvocation="3055" standardDeviationMircosecondsPerInvocation="179"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase" totalMilliseconds="75" invocations="14947" avgMicrosecondsPerInvocation="5" maxMicrosecondsPerInvocation="2058" standardDeviationMircosecondsPerInvocation="32"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CallToUnsupportedMethod" totalMilliseconds="80" invocations="138" avgMicrosecondsPerInvocation="583" maxMicrosecondsPerInvocation="38671" standardDeviationMircosecondsPerInvocation="3352"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDeadLocalStores" totalMilliseconds="82" invocations="138" avgMicrosecondsPerInvocation="595" maxMicrosecondsPerInvocation="31860" standardDeviationMircosecondsPerInvocation="3272"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical" totalMilliseconds="82" invocations="196" avgMicrosecondsPerInvocation="422" maxMicrosecondsPerInvocation="15440" standardDeviationMircosecondsPerInvocation="1308"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindInconsistentSync2" totalMilliseconds="100" invocations="138" avgMicrosecondsPerInvocation="730" maxMicrosecondsPerInvocation="21319" standardDeviationMircosecondsPerInvocation="2208"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory" totalMilliseconds="103" invocations="1021" avgMicrosecondsPerInvocation="101" maxMicrosecondsPerInvocation="17944" standardDeviationMircosecondsPerInvocation="645"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteDirectlyRelevantTypeQualifiers" totalMilliseconds="140" invocations="196" avgMicrosecondsPerInvocation="719" maxMicrosecondsPerInvocation="10926" standardDeviationMircosecondsPerInvocation="1649"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantDataflowFactory" totalMilliseconds="145" invocations="1021" avgMicrosecondsPerInvocation="142" maxMicrosecondsPerInvocation="10331" standardDeviationMircosecondsPerInvocation="400"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FieldItemSummary" totalMilliseconds="165" invocations="196" avgMicrosecondsPerInvocation="845" maxMicrosecondsPerInvocation="31977" standardDeviationMircosecondsPerInvocation="2855"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadSyntaxForRegularExpression" totalMilliseconds="178" invocations="138" avgMicrosecondsPerInvocation="1291" maxMicrosecondsPerInvocation="149292" standardDeviationMircosecondsPerInvocation="12658"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodGenFactory" totalMilliseconds="183" invocations="1382" avgMicrosecondsPerInvocation="132" maxMicrosecondsPerInvocation="37507" standardDeviationMircosecondsPerInvocation="1048"/>
      <ClassProfile name="edu.umd.cs.findbugs.OpcodeStack$JumpInfoFactory" totalMilliseconds="202" invocations="3593" avgMicrosecondsPerInvocation="56" maxMicrosecondsPerInvocation="22329" standardDeviationMircosecondsPerInvocation="447"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassInfoAnalysisEngine" totalMilliseconds="204" invocations="594" avgMicrosecondsPerInvocation="344" maxMicrosecondsPerInvocation="38749" standardDeviationMircosecondsPerInvocation="2195"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassDataAnalysisEngine" totalMilliseconds="207" invocations="596" avgMicrosecondsPerInvocation="348" maxMicrosecondsPerInvocation="21400" standardDeviationMircosecondsPerInvocation="1496"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison$SpecialTypeAnalysis" totalMilliseconds="337" invocations="511" avgMicrosecondsPerInvocation="659" maxMicrosecondsPerInvocation="101237" standardDeviationMircosecondsPerInvocation="4634"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory" totalMilliseconds="607" invocations="1224" avgMicrosecondsPerInvocation="496" maxMicrosecondsPerInvocation="91853" standardDeviationMircosecondsPerInvocation="3004"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory" totalMilliseconds="672" invocations="1021" avgMicrosecondsPerInvocation="658" maxMicrosecondsPerInvocation="40925" standardDeviationMircosecondsPerInvocation="2297"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory" totalMilliseconds="697" invocations="1021" avgMicrosecondsPerInvocation="683" maxMicrosecondsPerInvocation="455657" standardDeviationMircosecondsPerInvocation="14269"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory" totalMilliseconds="798" invocations="1023" avgMicrosecondsPerInvocation="780" maxMicrosecondsPerInvocation="369218" standardDeviationMircosecondsPerInvocation="11659"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder" totalMilliseconds="844" invocations="1021" avgMicrosecondsPerInvocation="826" maxMicrosecondsPerInvocation="290923" standardDeviationMircosecondsPerInvocation="9247"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory" totalMilliseconds="1571" invocations="1021" avgMicrosecondsPerInvocation="1538" maxMicrosecondsPerInvocation="774862" standardDeviationMircosecondsPerInvocation="26099"/>
    </FindBugsProfile>
  </FindBugsSummary>
  <ClassFeatures></ClassFeatures>
  <History></History>
</BugCollection>
