<?xml version="1.0" encoding="UTF-8"?>

<BugCollection version="2.0.2" sequence="0" timestamp="1369403416428" analysisTimestamp="1369403416447" release="">
  <Project 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-3.1.10.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="Fri, 24 May 2013 13:50:16 +0000" total_classes="147" referenced_classes="205" total_bugs="0" total_size="5239" num_packages="8" vm_version="14.3-b01" cpu_seconds="12.77" clock_seconds="12.85" peak_mbytes="119.61" alloc_mbytes="508.06" gc_seconds="0.76">
    <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="145"/>
    <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/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="14"/>
    <FileStats path="org/qedeq/kernel/se/common/RuleKey.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/se/common/Service.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/common/ServiceCompleteness.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/common/SourceFileException.java" bugCount="0" size="54"/>
    <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/state/AbstractState.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/se/state/DependencyState.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/kernel/se/state/DependencyStateDescriptions.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/kernel/se/state/FormallyProvedState.java" bugCount="0" size="17"/>
    <FileStats path="org/qedeq/kernel/se/state/FormallyProvedStateDescriptions.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/se/state/LoadingImportsState.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/kernel/se/state/LoadingImportsStateDescriptions.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/kernel/se/state/LoadingState.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/kernel/se/state/LoadingStateDescriptions.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/se/state/WellFormedState.java" bugCount="0" size="17"/>
    <FileStats path="org/qedeq/kernel/se/state/WellFormedStateDescriptions.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/se/visitor/AbstractModuleVisitor.java" bugCount="0" size="219"/>
    <FileStats path="org/qedeq/kernel/se/visitor/ContextChecker.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/visitor/DefaultContextChecker.java" bugCount="0" size="5"/>
    <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="36"/>
    <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="15" total_size="439">
      <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="145" 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.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="14" 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.Service" sourceFile="Service.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ServiceCompleteness" sourceFile="ServiceCompleteness.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.SourceFileException" sourceFile="SourceFileException.java" interface="false" size="54" 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.state" total_bugs="0" total_types="11" total_size="190">
      <ClassStats class="org.qedeq.kernel.se.state.AbstractState" sourceFile="AbstractState.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.DependencyState" sourceFile="DependencyState.java" interface="false" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.DependencyStateDescriptions" sourceFile="DependencyStateDescriptions.java" interface="true" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.FormallyProvedState" sourceFile="FormallyProvedState.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.FormallyProvedStateDescriptions" sourceFile="FormallyProvedStateDescriptions.java" interface="true" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.LoadingImportsState" sourceFile="LoadingImportsState.java" interface="false" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.LoadingImportsStateDescriptions" sourceFile="LoadingImportsStateDescriptions.java" interface="true" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.LoadingState" sourceFile="LoadingState.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.LoadingStateDescriptions" sourceFile="LoadingStateDescriptions.java" interface="true" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.WellFormedState" sourceFile="WellFormedState.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.state.WellFormedStateDescriptions" sourceFile="WellFormedStateDescriptions.java" interface="true" size="13" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.visitor" total_bugs="0" total_types="10" total_size="1555">
      <ClassStats class="org.qedeq.kernel.se.visitor.AbstractModuleVisitor" sourceFile="AbstractModuleVisitor.java" interface="false" size="219" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.ContextChecker" sourceFile="ContextChecker.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.DefaultContextChecker" sourceFile="DefaultContextChecker.java" interface="false" size="5" 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="36" 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.classfile.engine.ClassDataAnalysisEngine" totalMilliseconds="1909" invocations="646" avgMicrosecondsPerInvocation="2956" maxMicrosecondsPerInvocation="30288" standardDeviationMircosecondsPerInvocation="2970"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder" totalMilliseconds="663" invocations="1018" avgMicrosecondsPerInvocation="652" maxMicrosecondsPerInvocation="110404" standardDeviationMircosecondsPerInvocation="4546"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory" totalMilliseconds="642" invocations="1018" avgMicrosecondsPerInvocation="631" maxMicrosecondsPerInvocation="122635" standardDeviationMircosecondsPerInvocation="4151"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory" totalMilliseconds="633" invocations="1018" avgMicrosecondsPerInvocation="621" maxMicrosecondsPerInvocation="80113" standardDeviationMircosecondsPerInvocation="2850"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassInfoAnalysisEngine" totalMilliseconds="565" invocations="643" avgMicrosecondsPerInvocation="879" maxMicrosecondsPerInvocation="44840" standardDeviationMircosecondsPerInvocation="3239"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory" totalMilliseconds="487" invocations="1020" avgMicrosecondsPerInvocation="478" maxMicrosecondsPerInvocation="28348" standardDeviationMircosecondsPerInvocation="1641"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory" totalMilliseconds="422" invocations="1020" avgMicrosecondsPerInvocation="414" maxMicrosecondsPerInvocation="30344" standardDeviationMircosecondsPerInvocation="1349"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison$SpecialTypeAnalysis" totalMilliseconds="366" invocations="527" avgMicrosecondsPerInvocation="696" maxMicrosecondsPerInvocation="96585" standardDeviationMircosecondsPerInvocation="4482"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory" totalMilliseconds="340" invocations="1018" avgMicrosecondsPerInvocation="334" maxMicrosecondsPerInvocation="26058" standardDeviationMircosecondsPerInvocation="1249"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FieldItemSummary" totalMilliseconds="263" invocations="205" avgMicrosecondsPerInvocation="1285" maxMicrosecondsPerInvocation="33292" standardDeviationMircosecondsPerInvocation="3883"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantDataflowFactory" totalMilliseconds="201" invocations="1018" avgMicrosecondsPerInvocation="198" maxMicrosecondsPerInvocation="53961" standardDeviationMircosecondsPerInvocation="1765"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodGenFactory" totalMilliseconds="175" invocations="1385" avgMicrosecondsPerInvocation="126" maxMicrosecondsPerInvocation="86989" standardDeviationMircosecondsPerInvocation="2365"/>
      <ClassProfile name="edu.umd.cs.findbugs.OpcodeStack$JumpInfoFactory" totalMilliseconds="173" invocations="1381" avgMicrosecondsPerInvocation="125" maxMicrosecondsPerInvocation="20375" standardDeviationMircosecondsPerInvocation="719"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase" totalMilliseconds="170" invocations="11126" avgMicrosecondsPerInvocation="15" maxMicrosecondsPerInvocation="48956" standardDeviationMircosecondsPerInvocation="495"/>
      <ClassProfile name="edu.umd.cs.findbugs.util.TopologicalSort" totalMilliseconds="156" invocations="601" avgMicrosecondsPerInvocation="260" maxMicrosecondsPerInvocation="34904" standardDeviationMircosecondsPerInvocation="1783"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.JavaClassAnalysisEngine" totalMilliseconds="152" invocations="227" avgMicrosecondsPerInvocation="670" maxMicrosecondsPerInvocation="43288" standardDeviationMircosecondsPerInvocation="4121"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref" totalMilliseconds="121" invocations="147" avgMicrosecondsPerInvocation="827" maxMicrosecondsPerInvocation="35012" standardDeviationMircosecondsPerInvocation="3276"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonShortCircuit" totalMilliseconds="119" invocations="147" avgMicrosecondsPerInvocation="814" maxMicrosecondsPerInvocation="47960" standardDeviationMircosecondsPerInvocation="4625"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindInconsistentSync2" totalMilliseconds="114" invocations="147" avgMicrosecondsPerInvocation="782" maxMicrosecondsPerInvocation="14369" standardDeviationMircosecondsPerInvocation="1780"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteDirectlyRelevantTypeQualifiers" totalMilliseconds="113" invocations="205" avgMicrosecondsPerInvocation="555" maxMicrosecondsPerInvocation="10462" standardDeviationMircosecondsPerInvocation="1374"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical" totalMilliseconds="100" invocations="205" avgMicrosecondsPerInvocation="488" maxMicrosecondsPerInvocation="20496" standardDeviationMircosecondsPerInvocation="1797"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory" totalMilliseconds="99" invocations="1018" avgMicrosecondsPerInvocation="97" maxMicrosecondsPerInvocation="19221" standardDeviationMircosecondsPerInvocation="663"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethods" totalMilliseconds="99" invocations="147" avgMicrosecondsPerInvocation="674" maxMicrosecondsPerInvocation="14793" standardDeviationMircosecondsPerInvocation="1975"/>
      <ClassProfile name="edu.umd.cs.findbugs.DetectorToDetector2Adapter" totalMilliseconds="95" invocations="16874" avgMicrosecondsPerInvocation="5" maxMicrosecondsPerInvocation="20275" standardDeviationMircosecondsPerInvocation="173"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnreadFields" totalMilliseconds="90" invocations="147" avgMicrosecondsPerInvocation="616" maxMicrosecondsPerInvocation="11327" standardDeviationMircosecondsPerInvocation="1565"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDeadLocalStores" totalMilliseconds="90" invocations="147" avgMicrosecondsPerInvocation="615" maxMicrosecondsPerInvocation="27415" standardDeviationMircosecondsPerInvocation="2459"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadCast2" totalMilliseconds="88" invocations="147" avgMicrosecondsPerInvocation="605" maxMicrosecondsPerInvocation="36161" standardDeviationMircosecondsPerInvocation="3857"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref$CheckCallSitesAndReturnInstructions" totalMilliseconds="84" invocations="1018" avgMicrosecondsPerInvocation="83" maxMicrosecondsPerInvocation="1945" standardDeviationMircosecondsPerInvocation="145"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LoadOfKnownNullValue" totalMilliseconds="84" invocations="147" avgMicrosecondsPerInvocation="572" maxMicrosecondsPerInvocation="14199" standardDeviationMircosecondsPerInvocation="1590"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.URLProblems" totalMilliseconds="80" invocations="147" avgMicrosecondsPerInvocation="550" maxMicrosecondsPerInvocation="12096" standardDeviationMircosecondsPerInvocation="1426"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindPuzzlers" totalMilliseconds="78" invocations="147" avgMicrosecondsPerInvocation="535" maxMicrosecondsPerInvocation="21396" standardDeviationMircosecondsPerInvocation="2053"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison" totalMilliseconds="74" invocations="147" avgMicrosecondsPerInvocation="510" maxMicrosecondsPerInvocation="13700" standardDeviationMircosecondsPerInvocation="1656"/>
    </FindBugsProfile>
  </FindBugsSummary>
  <ClassFeatures></ClassFeatures>
  <History></History>
</BugCollection>
