<?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="1312000268015" analysisTimestamp="1312000269797" 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="Sat, 30 Jul 2011 04:31:08 +0000" total_classes="140" referenced_classes="194" total_bugs="0" total_size="5201" num_packages="7" vm_version="14.3-b01" cpu_seconds="8.01" clock_seconds="16.71" peak_mbytes="138.27" alloc_mbytes="508.06" gc_seconds="8.25">
    <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="1"/>
    <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/base/module/VariableList.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="151"/>
    <FileStats path="org/qedeq/kernel/se/common/DefaultSourceFileExceptionList.java" bugCount="0" size="70"/>
    <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="7"/>
    <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="99"/>
    <FileStats path="org/qedeq/kernel/se/config/QedeqConfig.java" bugCount="0" size="157"/>
    <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="105"/>
    <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="38"/>
    <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="71"/>
    <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="69"/>
    <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="45"/>
    <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="223"/>
    <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="25"/>
    <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="988"/>
    <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="107"/>
    <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="54" total_size="219">
      <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="1" 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"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.VariableList" sourceFile="VariableList.java" interface="true" size="3" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.common" total_bugs="0" total_types="20" total_size="611">
      <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="151" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DefaultSourceFileExceptionList" sourceFile="DefaultSourceFileExceptionList.java" interface="false" size="70" 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="7" 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="256">
      <ClassStats class="org.qedeq.kernel.se.config.ConfigAccess" sourceFile="ConfigAccess.java" interface="false" size="99" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.config.QedeqConfig" sourceFile="QedeqConfig.java" interface="false" size="157" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.dto.list" total_bugs="0" total_types="3" total_size="246">
      <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="105" 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="2295">
      <ClassStats class="org.qedeq.kernel.se.dto.module.AddVo" sourceFile="AddVo.java" interface="false" size="38" 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="71" 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="69" 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="45" 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="1553">
      <ClassStats class="org.qedeq.kernel.se.visitor.AbstractModuleVisitor" sourceFile="AbstractModuleVisitor.java" interface="false" size="223" 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="25" 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="988" 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="107" bugs="0"/>
    </PackageStats>
    <FindBugsProfile>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DoInsideDoPrivileged" totalMilliseconds="11" invocations="140" avgMicrosecondsPerInvocation="80" maxMicrosecondsPerInvocation="1998" standardDeviationMircosecondsPerInvocation="203"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeAndNullCheckField" totalMilliseconds="11" invocations="140" avgMicrosecondsPerInvocation="82" maxMicrosecondsPerInvocation="2038" standardDeviationMircosecondsPerInvocation="212"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison2" totalMilliseconds="11" invocations="140" avgMicrosecondsPerInvocation="84" maxMicrosecondsPerInvocation="1767" standardDeviationMircosecondsPerInvocation="202"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LazyInit" totalMilliseconds="11" invocations="140" avgMicrosecondsPerInvocation="84" maxMicrosecondsPerInvocation="5303" standardDeviationMircosecondsPerInvocation="490"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.asm.ClassReaderAnalysisEngine" totalMilliseconds="12" invocations="521" avgMicrosecondsPerInvocation="23" maxMicrosecondsPerInvocation="7610" standardDeviationMircosecondsPerInvocation="334"/>
      <ClassProfile name="edu.umd.cs.findbugs.NonReportingDetectorToDetector2Adapter" totalMilliseconds="12" invocations="2802" avgMicrosecondsPerInvocation="4" maxMicrosecondsPerInvocation="698" standardDeviationMircosecondsPerInvocation="18"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUncalledPrivateMethods" totalMilliseconds="12" invocations="140" avgMicrosecondsPerInvocation="89" maxMicrosecondsPerInvocation="2983" standardDeviationMircosecondsPerInvocation="262"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsyncGet" totalMilliseconds="13" invocations="140" avgMicrosecondsPerInvocation="93" maxMicrosecondsPerInvocation="1719" standardDeviationMircosecondsPerInvocation="158"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantPoolGenFactory" totalMilliseconds="13" invocations="140" avgMicrosecondsPerInvocation="98" maxMicrosecondsPerInvocation="3841" standardDeviationMircosecondsPerInvocation="413"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReverseDepthFirstSearchFactory" totalMilliseconds="14" invocations="1018" avgMicrosecondsPerInvocation="14" maxMicrosecondsPerInvocation="788" standardDeviationMircosecondsPerInvocation="38"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation" totalMilliseconds="15" invocations="140" avgMicrosecondsPerInvocation="111" maxMicrosecondsPerInvocation="12199" standardDeviationMircosecondsPerInvocation="1028"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethodInvocations" totalMilliseconds="16" invocations="140" avgMicrosecondsPerInvocation="120" maxMicrosecondsPerInvocation="2598" standardDeviationMircosecondsPerInvocation="259"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnrelatedTypesInGenericContainer" totalMilliseconds="18" invocations="140" avgMicrosecondsPerInvocation="129" maxMicrosecondsPerInvocation="4322" standardDeviationMircosecondsPerInvocation="384"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteUnconditionalParamDerefs" totalMilliseconds="18" invocations="140" avgMicrosecondsPerInvocation="135" maxMicrosecondsPerInvocation="2572" standardDeviationMircosecondsPerInvocation="323"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ObligationDataflowFactory" totalMilliseconds="20" invocations="16" avgMicrosecondsPerInvocation="1308" maxMicrosecondsPerInvocation="20079" standardDeviationMircosecondsPerInvocation="4846"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.obl.ObligationAnalysis" totalMilliseconds="21" invocations="16" avgMicrosecondsPerInvocation="1350" maxMicrosecondsPerInvocation="6167" standardDeviationMircosecondsPerInvocation="1791"/>
      <ClassProfile name="edu.umd.cs.findbugs.util.TopologicalSort" totalMilliseconds="23" invocations="141" avgMicrosecondsPerInvocation="168" maxMicrosecondsPerInvocation="10457" standardDeviationMircosecondsPerInvocation="934"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSqlInjection" totalMilliseconds="26" invocations="140" avgMicrosecondsPerInvocation="192" maxMicrosecondsPerInvocation="4065" standardDeviationMircosecondsPerInvocation="484"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDerefsInvolvingNonShortCircuitEvaluation" totalMilliseconds="27" invocations="140" avgMicrosecondsPerInvocation="192" maxMicrosecondsPerInvocation="5957" standardDeviationMircosecondsPerInvocation="528"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeOnClassLiteralNotGetClass" totalMilliseconds="27" invocations="140" avgMicrosecondsPerInvocation="198" maxMicrosecondsPerInvocation="6015" standardDeviationMircosecondsPerInvocation="539"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizingOnContentsOfFieldToProtectField" totalMilliseconds="28" invocations="140" avgMicrosecondsPerInvocation="201" maxMicrosecondsPerInvocation="6169" standardDeviationMircosecondsPerInvocation="547"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadSyntaxForRegularExpression" totalMilliseconds="28" invocations="140" avgMicrosecondsPerInvocation="204" maxMicrosecondsPerInvocation="6229" standardDeviationMircosecondsPerInvocation="551"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadResultSetAccess" totalMilliseconds="28" invocations="140" avgMicrosecondsPerInvocation="205" maxMicrosecondsPerInvocation="5986" standardDeviationMircosecondsPerInvocation="534"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFloatEquality" totalMilliseconds="28" invocations="140" avgMicrosecondsPerInvocation="206" maxMicrosecondsPerInvocation="6107" standardDeviationMircosecondsPerInvocation="545"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DuplicateBranches" totalMilliseconds="29" invocations="140" avgMicrosecondsPerInvocation="207" maxMicrosecondsPerInvocation="3001" standardDeviationMircosecondsPerInvocation="448"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadForLoop" totalMilliseconds="29" invocations="140" avgMicrosecondsPerInvocation="209" maxMicrosecondsPerInvocation="6137" standardDeviationMircosecondsPerInvocation="548"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CrossSiteScripting" totalMilliseconds="30" invocations="140" avgMicrosecondsPerInvocation="214" maxMicrosecondsPerInvocation="6848" standardDeviationMircosecondsPerInvocation="610"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FormatStringChecker" totalMilliseconds="30" invocations="140" avgMicrosecondsPerInvocation="217" maxMicrosecondsPerInvocation="6241" standardDeviationMircosecondsPerInvocation="566"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindReturnRef" totalMilliseconds="30" invocations="140" avgMicrosecondsPerInvocation="218" maxMicrosecondsPerInvocation="6924" standardDeviationMircosecondsPerInvocation="612"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.Naming" totalMilliseconds="31" invocations="140" avgMicrosecondsPerInvocation="224" maxMicrosecondsPerInvocation="10373" standardDeviationMircosecondsPerInvocation="928"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizationOnSharedBuiltinConstant" totalMilliseconds="32" invocations="140" avgMicrosecondsPerInvocation="230" maxMicrosecondsPerInvocation="6001" standardDeviationMircosecondsPerInvocation="572"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindOpenStream" totalMilliseconds="32" invocations="140" avgMicrosecondsPerInvocation="233" maxMicrosecondsPerInvocation="31526" standardDeviationMircosecondsPerInvocation="2654"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CalledMethods" totalMilliseconds="32" invocations="194" avgMicrosecondsPerInvocation="169" maxMicrosecondsPerInvocation="3164" standardDeviationMircosecondsPerInvocation="375"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.ReflectiveClasses" totalMilliseconds="32" invocations="194" avgMicrosecondsPerInvocation="169" maxMicrosecondsPerInvocation="10203" standardDeviationMircosecondsPerInvocation="773"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RepeatedConditionals" totalMilliseconds="33" invocations="140" avgMicrosecondsPerInvocation="236" maxMicrosecondsPerInvocation="6657" standardDeviationMircosecondsPerInvocation="605"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindPuzzlers" totalMilliseconds="33" invocations="140" avgMicrosecondsPerInvocation="241" maxMicrosecondsPerInvocation="6715" standardDeviationMircosecondsPerInvocation="612"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteRecursiveLoop" totalMilliseconds="34" invocations="140" avgMicrosecondsPerInvocation="247" maxMicrosecondsPerInvocation="6115" standardDeviationMircosecondsPerInvocation="656"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EqualsOperandShouldHaveClassCompatibleWithThis" totalMilliseconds="35" invocations="194" avgMicrosecondsPerInvocation="183" maxMicrosecondsPerInvocation="3740" standardDeviationMircosecondsPerInvocation="384"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison" totalMilliseconds="37" invocations="140" avgMicrosecondsPerInvocation="265" maxMicrosecondsPerInvocation="8221" standardDeviationMircosecondsPerInvocation="745"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RuntimeExceptionCapture" totalMilliseconds="37" invocations="140" avgMicrosecondsPerInvocation="268" maxMicrosecondsPerInvocation="7812" standardDeviationMircosecondsPerInvocation="713"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadCast2" totalMilliseconds="38" invocations="140" avgMicrosecondsPerInvocation="275" maxMicrosecondsPerInvocation="20861" standardDeviationMircosecondsPerInvocation="1817"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref" totalMilliseconds="38" invocations="140" avgMicrosecondsPerInvocation="277" maxMicrosecondsPerInvocation="3834" standardDeviationMircosecondsPerInvocation="585"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SwitchFallthrough" totalMilliseconds="40" invocations="140" avgMicrosecondsPerInvocation="287" maxMicrosecondsPerInvocation="7182" standardDeviationMircosecondsPerInvocation="684"/>
      <ClassProfile name="edu.umd.cs.findbugs.DetectorToDetector2Adapter" totalMilliseconds="42" invocations="15174" avgMicrosecondsPerInvocation="2" maxMicrosecondsPerInvocation="184" standardDeviationMircosecondsPerInvocation="2"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.impl.ZipCodeBaseFactory" totalMilliseconds="42" invocations="25" avgMicrosecondsPerInvocation="1714" maxMicrosecondsPerInvocation="29879" standardDeviationMircosecondsPerInvocation="5875"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethods" totalMilliseconds="43" invocations="140" avgMicrosecondsPerInvocation="310" maxMicrosecondsPerInvocation="8062" standardDeviationMircosecondsPerInvocation="747"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ClassContextClassAnalysisEngine" totalMilliseconds="44" invocations="549" avgMicrosecondsPerInvocation="81" maxMicrosecondsPerInvocation="41942" standardDeviationMircosecondsPerInvocation="1788"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase" totalMilliseconds="47" invocations="194" avgMicrosecondsPerInvocation="245" maxMicrosecondsPerInvocation="7132" standardDeviationMircosecondsPerInvocation="695"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.JavaClassAnalysisEngine" totalMilliseconds="48" invocations="215" avgMicrosecondsPerInvocation="226" maxMicrosecondsPerInvocation="12287" standardDeviationMircosecondsPerInvocation="898"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnreadFields" totalMilliseconds="48" invocations="140" avgMicrosecondsPerInvocation="347" maxMicrosecondsPerInvocation="7563" standardDeviationMircosecondsPerInvocation="725"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SerializableIdiom" totalMilliseconds="51" invocations="140" avgMicrosecondsPerInvocation="368" maxMicrosecondsPerInvocation="24876" standardDeviationMircosecondsPerInvocation="2172"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison" totalMilliseconds="53" invocations="140" avgMicrosecondsPerInvocation="379" maxMicrosecondsPerInvocation="10688" standardDeviationMircosecondsPerInvocation="1161"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReturnPathTypeDataflowFactory" totalMilliseconds="54" invocations="247" avgMicrosecondsPerInvocation="221" maxMicrosecondsPerInvocation="22289" standardDeviationMircosecondsPerInvocation="1427"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteLoop" totalMilliseconds="56" invocations="140" avgMicrosecondsPerInvocation="406" maxMicrosecondsPerInvocation="13124" standardDeviationMircosecondsPerInvocation="1505"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CallToUnsupportedMethod" totalMilliseconds="59" invocations="140" avgMicrosecondsPerInvocation="427" maxMicrosecondsPerInvocation="21513" standardDeviationMircosecondsPerInvocation="1944"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LoadOfKnownNullValue" totalMilliseconds="60" invocations="140" avgMicrosecondsPerInvocation="430" maxMicrosecondsPerInvocation="10718" standardDeviationMircosecondsPerInvocation="1352"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.URLProblems" totalMilliseconds="61" invocations="140" avgMicrosecondsPerInvocation="437" maxMicrosecondsPerInvocation="14884" standardDeviationMircosecondsPerInvocation="1340"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MethodReturnCheck" totalMilliseconds="71" invocations="140" avgMicrosecondsPerInvocation="508" maxMicrosecondsPerInvocation="27504" standardDeviationMircosecondsPerInvocation="2540"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase" totalMilliseconds="72" invocations="14564" avgMicrosecondsPerInvocation="4" maxMicrosecondsPerInvocation="2095" standardDeviationMircosecondsPerInvocation="32"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonShortCircuit" totalMilliseconds="74" invocations="140" avgMicrosecondsPerInvocation="531" maxMicrosecondsPerInvocation="44243" standardDeviationMircosecondsPerInvocation="3753"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindInconsistentSync2" totalMilliseconds="75" invocations="140" avgMicrosecondsPerInvocation="535" maxMicrosecondsPerInvocation="8368" standardDeviationMircosecondsPerInvocation="1140"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindHEmismatch" totalMilliseconds="78" invocations="140" avgMicrosecondsPerInvocation="560" maxMicrosecondsPerInvocation="43698" standardDeviationMircosecondsPerInvocation="3707"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical" totalMilliseconds="90" invocations="194" avgMicrosecondsPerInvocation="464" maxMicrosecondsPerInvocation="20245" standardDeviationMircosecondsPerInvocation="1659"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDeadLocalStores" totalMilliseconds="99" invocations="140" avgMicrosecondsPerInvocation="711" maxMicrosecondsPerInvocation="37018" standardDeviationMircosecondsPerInvocation="3816"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory" totalMilliseconds="101" invocations="1018" avgMicrosecondsPerInvocation="100" maxMicrosecondsPerInvocation="18630" standardDeviationMircosecondsPerInvocation="603"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FieldItemSummary" totalMilliseconds="149" invocations="194" avgMicrosecondsPerInvocation="768" maxMicrosecondsPerInvocation="17232" standardDeviationMircosecondsPerInvocation="2081"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassInfoAnalysisEngine" totalMilliseconds="168" invocations="567" avgMicrosecondsPerInvocation="297" maxMicrosecondsPerInvocation="31234" standardDeviationMircosecondsPerInvocation="1706"/>
      <ClassProfile name="edu.umd.cs.findbugs.OpcodeStack$JumpInfoFactory" totalMilliseconds="224" invocations="3359" avgMicrosecondsPerInvocation="66" maxMicrosecondsPerInvocation="21647" standardDeviationMircosecondsPerInvocation="546"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteDirectlyRelevantTypeQualifiers" totalMilliseconds="245" invocations="194" avgMicrosecondsPerInvocation="1265" maxMicrosecondsPerInvocation="76455" standardDeviationMircosecondsPerInvocation="6085"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory" totalMilliseconds="248" invocations="1018" avgMicrosecondsPerInvocation="244" maxMicrosecondsPerInvocation="17042" standardDeviationMircosecondsPerInvocation="896"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassDataAnalysisEngine" totalMilliseconds="392" invocations="569" avgMicrosecondsPerInvocation="689" maxMicrosecondsPerInvocation="97739" standardDeviationMircosecondsPerInvocation="4497"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantDataflowFactory" totalMilliseconds="453" invocations="1018" avgMicrosecondsPerInvocation="445" maxMicrosecondsPerInvocation="275569" standardDeviationMircosecondsPerInvocation="8661"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.DepthFirstSearchFactory" totalMilliseconds="497" invocations="1220" avgMicrosecondsPerInvocation="408" maxMicrosecondsPerInvocation="478762" standardDeviationMircosecondsPerInvocation="13700"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory" totalMilliseconds="570" invocations="1018" avgMicrosecondsPerInvocation="560" maxMicrosecondsPerInvocation="37611" standardDeviationMircosecondsPerInvocation="2146"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref$CheckCallSitesAndReturnInstructions" totalMilliseconds="624" invocations="1018" avgMicrosecondsPerInvocation="613" maxMicrosecondsPerInvocation="538052" standardDeviationMircosecondsPerInvocation="16866"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodGenFactory" totalMilliseconds="781" invocations="1385" avgMicrosecondsPerInvocation="564" maxMicrosecondsPerInvocation="573212" standardDeviationMircosecondsPerInvocation="15500"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.AppendingToAnObjectOutputStream" totalMilliseconds="838" invocations="140" avgMicrosecondsPerInvocation="5990" maxMicrosecondsPerInvocation="812036" standardDeviationMircosecondsPerInvocation="68370"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory" totalMilliseconds="904" invocations="1222" avgMicrosecondsPerInvocation="740" maxMicrosecondsPerInvocation="469743" standardDeviationMircosecondsPerInvocation="13446"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder" totalMilliseconds="974" invocations="1018" avgMicrosecondsPerInvocation="957" maxMicrosecondsPerInvocation="325547" standardDeviationMircosecondsPerInvocation="12365"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteNonnullReturnValues" totalMilliseconds="1104" invocations="140" avgMicrosecondsPerInvocation="7888" maxMicrosecondsPerInvocation="1034987" standardDeviationMircosecondsPerInvocation="87152"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory" totalMilliseconds="1426" invocations="1020" avgMicrosecondsPerInvocation="1398" maxMicrosecondsPerInvocation="581750" standardDeviationMircosecondsPerInvocation="22664"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory" totalMilliseconds="1559" invocations="1018" avgMicrosecondsPerInvocation="1532" maxMicrosecondsPerInvocation="540500" standardDeviationMircosecondsPerInvocation="21520"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison$SpecialTypeAnalysis" totalMilliseconds="1620" invocations="518" avgMicrosecondsPerInvocation="3128" maxMicrosecondsPerInvocation="834884" standardDeviationMircosecondsPerInvocation="44073"/>
    </FindBugsProfile>
  </FindBugsSummary>
  <ClassFeatures></ClassFeatures>
  <History></History>
</BugCollection>
