<?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="1312000287521" analysisTimestamp="1312000288804" release="">
  <Project filename="&lt;&lt;unnamed project&gt;&gt;" projectName="">
    <Jar>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/QedeqKernelBo/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/QedeqKernelBo/src/main/java</SrcDir>
  </Project>
  <Errors errors="0" missingClasses="0"></Errors>
  <FindBugsSummary timestamp="Sat, 30 Jul 2011 04:31:27 +0000" total_classes="224" referenced_classes="465" total_bugs="0" total_size="13664" num_packages="18" vm_version="14.3-b01" cpu_seconds="21.52" clock_seconds="34.51" peak_mbytes="324.05" alloc_mbytes="508.06" gc_seconds="13.46">
    <FileStats path="org/qedeq/kernel/bo/BasicKernel.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/bo/KernelContext.java" bugCount="0" size="350"/>
    <FileStats path="org/qedeq/kernel/bo/common/Element2Latex.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/common/Element2Utf8.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/common/KernelProperties.java" bugCount="0" size="11"/>
    <FileStats path="org/qedeq/kernel/bo/common/KernelServices.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/kernel/bo/common/KernelState.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/common/ModuleReferenceList.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/bo/common/NodeBo.java" bugCount="0" size="11"/>
    <FileStats path="org/qedeq/kernel/bo/common/PluginExecutor.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/common/QedeqBo.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/kernel/bo/common/ServiceModule.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/common/ServiceProcess.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/kernel/bo/log/DefaultModuleEventListener.java" bugCount="0" size="22"/>
    <FileStats path="org/qedeq/kernel/bo/log/LogListener.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/bo/log/LogListenerImpl.java" bugCount="0" size="55"/>
    <FileStats path="org/qedeq/kernel/bo/log/ModuleEventListener.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/log/ModuleEventListenerLog.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/kernel/bo/log/ModuleEventLog.java" bugCount="0" size="46"/>
    <FileStats path="org/qedeq/kernel/bo/log/ModuleLogListener.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/log/ModuleLogListenerImpl.java" bugCount="0" size="19"/>
    <FileStats path="org/qedeq/kernel/bo/log/QedeqLog.java" bugCount="0" size="72"/>
    <FileStats path="org/qedeq/kernel/bo/log/TraceListener.java" bugCount="0" size="45"/>
    <FileStats path="org/qedeq/kernel/bo/logic/FormulaCheckerFactoryImpl.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/bo/logic/ProofCheckerFactoryImpl.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/kernel/bo/logic/ProofFinderFactoryImpl.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/ClassOperatorAlreadyExistsException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/ClassOperatorExistenceChecker.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/ExistenceChecker.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/FormulaChecker.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/FormulaCheckerFactory.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/FormulaUtility.java" bugCount="0" size="246"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/FunctionConstant.java" bugCount="0" size="44"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/FunctionExistenceChecker.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/FunctionKey.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/IdentityOperatorAlreadyExistsException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/IdentityOperatorExistenceChecker.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/LogicalCheckException.java" bugCount="0" size="18"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/LogicalCheckExceptionList.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/Operators.java" bugCount="0" size="16"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/PredicateConstant.java" bugCount="0" size="44"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/PredicateExistenceChecker.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/PredicateKey.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/ReferenceResolver.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/RuleExistenceChecker.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/common/SubjectVariable.java" bugCount="0" size="17"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/DynamicDirectInterpreter.java" bugCount="0" size="373"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/DynamicModel.java" bugCount="0" size="128"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/Entity.java" bugCount="0" size="16"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/FourDynamicModel.java" bugCount="0" size="130"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/Function.java" bugCount="0" size="29"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/FunctionVariable.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/FunctionVariableInterpreter.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/HeuristicErrorCodes.java" bugCount="0" size="22"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/HeuristicException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/Model.java" bugCount="0" size="11"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/ModelFunctionConstant.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/ModelPredicateConstant.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/Operator.java" bugCount="0" size="32"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/Predicate.java" bugCount="0" size="98"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/PredicateVariable.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/PredicateVariableInterpreter.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/SixDynamicModel.java" bugCount="0" size="140"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/SubjectVariableAllocation.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/SubjectVariableInterpreter.java" bugCount="0" size="78"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/ThreeDynamicModel.java" bugCount="0" size="91"/>
    <FileStats path="org/qedeq/kernel/bo/logic/model/UnaryDynamicModel.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/checker/BasicProofErrors.java" bugCount="0" size="55"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/checker/ProofCheckException.java" bugCount="0" size="10"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/checker/ProofChecker0Impl.java" bugCount="0" size="14"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/checker/ProofChecker1Impl.java" bugCount="0" size="416"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/checker/ProofChecker2Impl.java" bugCount="0" size="608"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofChecker.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofCheckerFactory.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofException.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofFinder.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofFinderFactory.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofFoundListener.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/ProofNotFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/common/RuleChecker.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/finder/FinderErrors.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/finder/ModusPonensBo.java" bugCount="0" size="50"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/finder/ProofFinderImpl.java" bugCount="0" size="326"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/finder/ProofFinderUtility.java" bugCount="0" size="78"/>
    <FileStats path="org/qedeq/kernel/bo/logic/proof/finder/SubstPredBo.java" bugCount="0" size="56"/>
    <FileStats path="org/qedeq/kernel/bo/logic/wf/ElementCheckException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/wf/EverythingExists.java" bugCount="0" size="29"/>
    <FileStats path="org/qedeq/kernel/bo/logic/wf/FormulaBasicErrors.java" bugCount="0" size="51"/>
    <FileStats path="org/qedeq/kernel/bo/logic/wf/FormulaCheckException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/wf/FormulaCheckerImpl.java" bugCount="0" size="281"/>
    <FileStats path="org/qedeq/kernel/bo/logic/wf/TermCheckException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/logic/work/EqualFormula.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/bo/logic/work/EqualFormulaSet.java" bugCount="0" size="92"/>
    <FileStats path="org/qedeq/kernel/bo/logic/work/LogicalEquivalence.java" bugCount="0" size="17"/>
    <FileStats path="org/qedeq/kernel/bo/module/ControlVisitor.java" bugCount="0" size="194"/>
    <FileStats path="org/qedeq/kernel/bo/module/DefaultReference.java" bugCount="0" size="42"/>
    <FileStats path="org/qedeq/kernel/bo/module/InternalKernelServices.java" bugCount="0" size="10"/>
    <FileStats path="org/qedeq/kernel/bo/module/KernelModuleReferenceList.java" bugCount="0" size="102"/>
    <FileStats path="org/qedeq/kernel/bo/module/KernelNodeBo.java" bugCount="0" size="91"/>
    <FileStats path="org/qedeq/kernel/bo/module/KernelQedeqBo.java" bugCount="0" size="14"/>
    <FileStats path="org/qedeq/kernel/bo/module/ModuleConstantsExistenceChecker.java" bugCount="0" size="19"/>
    <FileStats path="org/qedeq/kernel/bo/module/ModuleErrors.java" bugCount="0" size="17"/>
    <FileStats path="org/qedeq/kernel/bo/module/ModuleLabels.java" bugCount="0" size="114"/>
    <FileStats path="org/qedeq/kernel/bo/module/PluginBo.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/module/PluginResults.java" bugCount="0" size="26"/>
    <FileStats path="org/qedeq/kernel/bo/module/PluginState.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/bo/module/QedeqFileDao.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/module/Reference.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/bo/module/ReferenceLinkException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/module/RuntimeVisitorException.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/bo/parser/AsciiMathParser.java" bugCount="0" size="59"/>
    <FileStats path="org/qedeq/kernel/bo/parser/ClosingBracketMissingException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/parser/EndSymbolNotFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/parser/LatexMathParser.java" bugCount="0" size="110"/>
    <FileStats path="org/qedeq/kernel/bo/parser/MathParser.java" bugCount="0" size="294"/>
    <FileStats path="org/qedeq/kernel/bo/parser/MementoTextInput.java" bugCount="0" size="36"/>
    <FileStats path="org/qedeq/kernel/bo/parser/Operator.java" bugCount="0" size="87"/>
    <FileStats path="org/qedeq/kernel/bo/parser/ParserException.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/bo/parser/SeparatorNotFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/parser/SimpleMathParser.java" bugCount="0" size="46"/>
    <FileStats path="org/qedeq/kernel/bo/parser/Term.java" bugCount="0" size="84"/>
    <FileStats path="org/qedeq/kernel/bo/parser/TermAtom.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/bo/parser/TooFewArgumentsException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/parser/TooMuchArgumentsException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/parser/UnexpectedOperatorException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/service/DefaultInternalKernelServices.java" bugCount="0" size="609"/>
    <FileStats path="org/qedeq/kernel/bo/service/DefaultKernelQedeqBo.java" bugCount="0" size="199"/>
    <FileStats path="org/qedeq/kernel/bo/service/Element2LatexImpl.java" bugCount="0" size="346"/>
    <FileStats path="org/qedeq/kernel/bo/service/Element2Utf8Impl.java" bugCount="0" size="18"/>
    <FileStats path="org/qedeq/kernel/bo/service/KernelQedeqBoStorage.java" bugCount="0" size="87"/>
    <FileStats path="org/qedeq/kernel/bo/service/LoadDirectlyRequiredModules.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/kernel/bo/service/LoadRequiredModuleException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/service/LoadRequiredModules.java" bugCount="0" size="66"/>
    <FileStats path="org/qedeq/kernel/bo/service/ModuleFileNotFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/service/ModuleLabelsCreator.java" bugCount="0" size="69"/>
    <FileStats path="org/qedeq/kernel/bo/service/PluginManager.java" bugCount="0" size="75"/>
    <FileStats path="org/qedeq/kernel/bo/service/PluginResultManager.java" bugCount="0" size="58"/>
    <FileStats path="org/qedeq/kernel/bo/service/QedeqVoBuilder.java" bugCount="0" size="728"/>
    <FileStats path="org/qedeq/kernel/bo/service/ServiceErrors.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/kernel/bo/service/ServiceProcessImpl.java" bugCount="0" size="103"/>
    <FileStats path="org/qedeq/kernel/bo/service/ServiceProcessManager.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/kernel/bo/service/StateManager.java" bugCount="0" size="335"/>
    <FileStats path="org/qedeq/kernel/bo/service/heuristic/DynamicHeuristicCheckerExecutor.java" bugCount="0" size="233"/>
    <FileStats path="org/qedeq/kernel/bo/service/heuristic/DynamicHeuristicCheckerPlugin.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/bo/service/latex/LatexContentException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/bo/service/latex/LatexErrorCodes.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/kernel/bo/service/latex/LatexListDataException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/service/latex/Qedeq2LatexExecutor.java" bugCount="0" size="908"/>
    <FileStats path="org/qedeq/kernel/bo/service/latex/Qedeq2LatexPlugin.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/bo/service/latex/QedeqBoDuplicateLanguageChecker.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/CheckRequiredModuleException.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/DefaultExistenceChecker.java" bugCount="0" size="107"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/FormalProofCheckerExecutor.java" bugCount="0" size="257"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/FormalProofCheckerPlugin.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/LogicErrors.java" bugCount="0" size="68"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/ModuleConstantsExistenceCheckerImpl.java" bugCount="0" size="206"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/SimpleProofFinderExecutor.java" bugCount="0" size="158"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/SimpleProofFinderPlugin.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/WellFormedCheckerExecutor.java" bugCount="0" size="497"/>
    <FileStats path="org/qedeq/kernel/bo/service/logic/WellFormedCheckerPlugin.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Latex2UnicodeParser.java" bugCount="0" size="681"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Latex2UnicodeSpecials.java" bugCount="0" size="138"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/LatexTextParser.java" bugCount="0" size="177"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/ProofLineData.java" bugCount="0" size="46"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Qedeq2UnicodeTextExecutor.java" bugCount="0" size="47"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Qedeq2UnicodeTextPlugin.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Qedeq2UnicodeVisitor.java" bugCount="0" size="795"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Qedeq2Utf8Executor.java" bugCount="0" size="75"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/Qedeq2Utf8Plugin.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/ReferenceFinder.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/UnicodeErrorCodes.java" bugCount="0" size="1"/>
    <FileStats path="org/qedeq/kernel/bo/service/unicode/UnicodeException.java" bugCount="0" size="4"/>
    <PackageStats package="org.qedeq.kernel.bo" total_bugs="0" total_types="6" total_size="403">
      <ClassStats class="org.qedeq.kernel.bo.BasicKernel" sourceFile="BasicKernel.java" interface="false" size="41" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.BasicKernel$LazyHolderTimeoutMethods" sourceFile="BasicKernel.java" interface="false" size="12" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.KernelContext" sourceFile="KernelContext.java" interface="false" size="162" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.KernelContext$1" sourceFile="KernelContext.java" interface="false" size="69" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.KernelContext$2" sourceFile="KernelContext.java" interface="false" size="55" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.KernelContext$3" sourceFile="KernelContext.java" interface="false" size="64" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.common" total_bugs="0" total_types="11" total_size="107">
      <ClassStats class="org.qedeq.kernel.bo.common.Element2Latex" sourceFile="Element2Latex.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.Element2Utf8" sourceFile="Element2Utf8.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.KernelProperties" sourceFile="KernelProperties.java" interface="true" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.KernelServices" sourceFile="KernelServices.java" interface="true" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.KernelState" sourceFile="KernelState.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.ModuleReferenceList" sourceFile="ModuleReferenceList.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.NodeBo" sourceFile="NodeBo.java" interface="true" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.PluginExecutor" sourceFile="PluginExecutor.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.QedeqBo" sourceFile="QedeqBo.java" interface="true" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.ServiceModule" sourceFile="ServiceModule.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.common.ServiceProcess" sourceFile="ServiceProcess.java" interface="true" size="20" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.log" total_bugs="0" total_types="10" total_size="288">
      <ClassStats class="org.qedeq.kernel.bo.log.DefaultModuleEventListener" sourceFile="DefaultModuleEventListener.java" interface="false" size="22" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.LogListener" sourceFile="LogListener.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.LogListenerImpl" sourceFile="LogListenerImpl.java" interface="false" size="55" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.ModuleEventListener" sourceFile="ModuleEventListener.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.ModuleEventListenerLog" sourceFile="ModuleEventListenerLog.java" interface="false" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.ModuleEventLog" sourceFile="ModuleEventLog.java" interface="false" size="46" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.ModuleLogListener" sourceFile="ModuleLogListener.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.ModuleLogListenerImpl" sourceFile="ModuleLogListenerImpl.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.QedeqLog" sourceFile="QedeqLog.java" interface="false" size="72" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.log.TraceListener" sourceFile="TraceListener.java" interface="false" size="45" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic" total_bugs="0" total_types="3" total_size="33">
      <ClassStats class="org.qedeq.kernel.bo.logic.FormulaCheckerFactoryImpl" sourceFile="FormulaCheckerFactoryImpl.java" interface="false" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.ProofCheckerFactoryImpl" sourceFile="ProofCheckerFactoryImpl.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl" sourceFile="ProofFinderFactoryImpl.java" interface="false" size="5" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.common" total_bugs="0" total_types="20" total_size="499">
      <ClassStats class="org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException" sourceFile="ClassOperatorAlreadyExistsException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.ClassOperatorExistenceChecker" sourceFile="ClassOperatorExistenceChecker.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.ExistenceChecker" sourceFile="ExistenceChecker.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.FormulaChecker" sourceFile="FormulaChecker.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.FormulaCheckerFactory" sourceFile="FormulaCheckerFactory.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.FormulaUtility" sourceFile="FormulaUtility.java" interface="false" size="246" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.FunctionConstant" sourceFile="FunctionConstant.java" interface="false" size="44" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.FunctionExistenceChecker" sourceFile="FunctionExistenceChecker.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.FunctionKey" sourceFile="FunctionKey.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException" sourceFile="IdentityOperatorAlreadyExistsException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.IdentityOperatorExistenceChecker" sourceFile="IdentityOperatorExistenceChecker.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.LogicalCheckException" sourceFile="LogicalCheckException.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList" sourceFile="LogicalCheckExceptionList.java" interface="false" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.Operators" sourceFile="Operators.java" interface="true" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.PredicateConstant" sourceFile="PredicateConstant.java" interface="false" size="44" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.PredicateExistenceChecker" sourceFile="PredicateExistenceChecker.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.PredicateKey" sourceFile="PredicateKey.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.ReferenceResolver" sourceFile="ReferenceResolver.java" interface="true" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.RuleExistenceChecker" sourceFile="RuleExistenceChecker.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.common.SubjectVariable" sourceFile="SubjectVariable.java" interface="false" size="17" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.model" total_bugs="0" total_types="40" total_size="1345">
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreter" sourceFile="DynamicDirectInterpreter.java" interface="false" size="373" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicModel" sourceFile="DynamicModel.java" interface="false" size="94" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicModel$1" sourceFile="DynamicModel.java" interface="false" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicModel$2" sourceFile="DynamicModel.java" interface="false" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicModel$3" sourceFile="DynamicModel.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicModel$4" sourceFile="DynamicModel.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.DynamicModel$5" sourceFile="DynamicModel.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Entity" sourceFile="Entity.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.FourDynamicModel" sourceFile="FourDynamicModel.java" interface="false" size="90" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.FourDynamicModel$1" sourceFile="FourDynamicModel.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.FourDynamicModel$2" sourceFile="FourDynamicModel.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.FourDynamicModel$3" sourceFile="FourDynamicModel.java" interface="false" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Function" sourceFile="Function.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Function$1" sourceFile="Function.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.FunctionVariable" sourceFile="FunctionVariable.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter" sourceFile="FunctionVariableInterpreter.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.HeuristicErrorCodes" sourceFile="HeuristicErrorCodes.java" interface="true" size="22" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.HeuristicException" sourceFile="HeuristicException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Model" sourceFile="Model.java" interface="true" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.ModelFunctionConstant" sourceFile="ModelFunctionConstant.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.ModelPredicateConstant" sourceFile="ModelPredicateConstant.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Operator" sourceFile="Operator.java" interface="false" size="32" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Predicate" sourceFile="Predicate.java" interface="false" size="40" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Predicate$1" sourceFile="Predicate.java" interface="false" size="12" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Predicate$2" sourceFile="Predicate.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Predicate$3" sourceFile="Predicate.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.Predicate$4" sourceFile="Predicate.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.PredicateVariable" sourceFile="PredicateVariable.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.PredicateVariableInterpreter" sourceFile="PredicateVariableInterpreter.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.SixDynamicModel" sourceFile="SixDynamicModel.java" interface="false" size="107" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.SixDynamicModel$1" sourceFile="SixDynamicModel.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.SixDynamicModel$2" sourceFile="SixDynamicModel.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.SixDynamicModel$3" sourceFile="SixDynamicModel.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.SubjectVariableAllocation" sourceFile="SubjectVariableAllocation.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.SubjectVariableInterpreter" sourceFile="SubjectVariableInterpreter.java" interface="false" size="78" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.ThreeDynamicModel" sourceFile="ThreeDynamicModel.java" interface="false" size="71" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.ThreeDynamicModel$1" sourceFile="ThreeDynamicModel.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.ThreeDynamicModel$2" sourceFile="ThreeDynamicModel.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.UnaryDynamicModel" sourceFile="UnaryDynamicModel.java" interface="false" size="29" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.model.UnaryDynamicModel$1" sourceFile="UnaryDynamicModel.java" interface="false" size="5" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.proof.checker" total_bugs="0" total_types="6" total_size="1103">
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.checker.BasicProofErrors" sourceFile="BasicProofErrors.java" interface="true" size="55" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException" sourceFile="ProofCheckException.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.checker.ProofChecker0Impl" sourceFile="ProofChecker0Impl.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.checker.ProofChecker1Impl" sourceFile="ProofChecker1Impl.java" interface="false" size="416" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl" sourceFile="ProofChecker2Impl.java" interface="false" size="579" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl$1" sourceFile="ProofChecker2Impl.java" interface="false" size="29" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.proof.common" total_bugs="0" total_types="9" total_size="31">
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofChecker" sourceFile="ProofChecker.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofCheckerFactory" sourceFile="ProofCheckerFactory.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofException" sourceFile="ProofException.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofFinder" sourceFile="ProofFinder.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofFinderFactory" sourceFile="ProofFinderFactory.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofFoundException" sourceFile="ProofFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofFoundListener" sourceFile="ProofFoundListener.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException" sourceFile="ProofNotFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.common.RuleChecker" sourceFile="RuleChecker.java" interface="true" size="2" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.proof.finder" total_bugs="0" total_types="14" total_size="515">
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.FinderErrors" sourceFile="FinderErrors.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo" sourceFile="ModusPonensBo.java" interface="false" size="50" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl" sourceFile="ProofFinderImpl.java" interface="false" size="241" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$1" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$2" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$3" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$4" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$5" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$6" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$7" sourceFile="ProofFinderImpl.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$Substitute" sourceFile="ProofFinderImpl.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$SubstituteBase" sourceFile="ProofFinderImpl.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility" sourceFile="ProofFinderUtility.java" interface="false" size="78" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo" sourceFile="SubstPredBo.java" interface="false" size="56" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.wf" total_bugs="0" total_types="6" total_size="382">
      <ClassStats class="org.qedeq.kernel.bo.logic.wf.ElementCheckException" sourceFile="ElementCheckException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.wf.EverythingExists" sourceFile="EverythingExists.java" interface="false" size="29" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.wf.FormulaBasicErrors" sourceFile="FormulaBasicErrors.java" interface="true" size="51" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.wf.FormulaCheckException" sourceFile="FormulaCheckException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.wf.FormulaCheckerImpl" sourceFile="FormulaCheckerImpl.java" interface="false" size="281" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.wf.TermCheckException" sourceFile="TermCheckException.java" interface="false" size="7" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.logic.work" total_bugs="0" total_types="3" total_size="117">
      <ClassStats class="org.qedeq.kernel.bo.logic.work.EqualFormula" sourceFile="EqualFormula.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.work.EqualFormulaSet" sourceFile="EqualFormulaSet.java" interface="false" size="92" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.logic.work.LogicalEquivalence" sourceFile="LogicalEquivalence.java" interface="false" size="17" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.module" total_bugs="0" total_types="16" total_size="689">
      <ClassStats class="org.qedeq.kernel.bo.module.ControlVisitor" sourceFile="ControlVisitor.java" interface="false" size="194" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.DefaultReference" sourceFile="DefaultReference.java" interface="false" size="42" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.InternalKernelServices" sourceFile="InternalKernelServices.java" interface="true" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.KernelModuleReferenceList" sourceFile="KernelModuleReferenceList.java" interface="false" size="102" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.KernelNodeBo" sourceFile="KernelNodeBo.java" interface="false" size="91" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.KernelQedeqBo" sourceFile="KernelQedeqBo.java" interface="true" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.ModuleConstantsExistenceChecker" sourceFile="ModuleConstantsExistenceChecker.java" interface="true" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.ModuleErrors" sourceFile="ModuleErrors.java" interface="true" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.ModuleLabels" sourceFile="ModuleLabels.java" interface="false" size="114" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.PluginBo" sourceFile="PluginBo.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.PluginResults" sourceFile="PluginResults.java" interface="false" size="26" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.PluginState" sourceFile="PluginState.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.QedeqFileDao" sourceFile="QedeqFileDao.java" interface="true" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.Reference" sourceFile="Reference.java" interface="true" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.ReferenceLinkException" sourceFile="ReferenceLinkException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.module.RuntimeVisitorException" sourceFile="RuntimeVisitorException.java" interface="false" size="6" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.parser" total_bugs="0" total_types="15" total_size="756">
      <ClassStats class="org.qedeq.kernel.bo.parser.AsciiMathParser" sourceFile="AsciiMathParser.java" interface="false" size="59" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.ClosingBracketMissingException" sourceFile="ClosingBracketMissingException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.EndSymbolNotFoundException" sourceFile="EndSymbolNotFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.LatexMathParser" sourceFile="LatexMathParser.java" interface="false" size="110" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.MathParser" sourceFile="MathParser.java" interface="false" size="294" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.MementoTextInput" sourceFile="MementoTextInput.java" interface="false" size="36" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.Operator" sourceFile="Operator.java" interface="false" size="87" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.ParserException" sourceFile="ParserException.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.SeparatorNotFoundException" sourceFile="SeparatorNotFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.SimpleMathParser" sourceFile="SimpleMathParser.java" interface="false" size="46" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.Term" sourceFile="Term.java" interface="false" size="84" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.TermAtom" sourceFile="TermAtom.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.TooFewArgumentsException" sourceFile="TooFewArgumentsException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.TooMuchArgumentsException" sourceFile="TooMuchArgumentsException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.parser.UnexpectedOperatorException" sourceFile="UnexpectedOperatorException.java" interface="false" size="4" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.service" total_bugs="0" total_types="33" total_size="2770">
      <ClassStats class="org.qedeq.kernel.bo.service.DefaultInternalKernelServices" sourceFile="DefaultInternalKernelServices.java" interface="false" size="586" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.DefaultInternalKernelServices$1" sourceFile="DefaultInternalKernelServices.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.DefaultInternalKernelServices$2" sourceFile="DefaultInternalKernelServices.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.DefaultKernelQedeqBo" sourceFile="DefaultKernelQedeqBo.java" interface="false" size="199" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl" sourceFile="Element2LatexImpl.java" interface="false" size="93" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$BinaryLogical" sourceFile="Element2LatexImpl.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Class" sourceFile="Element2LatexImpl.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Classlist" sourceFile="Element2LatexImpl.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Funcon" sourceFile="Element2LatexImpl.java" interface="false" size="39" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Funvar" sourceFile="Element2LatexImpl.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$ListType" sourceFile="Element2LatexImpl.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Not" sourceFile="Element2LatexImpl.java" interface="false" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Predcon" sourceFile="Element2LatexImpl.java" interface="false" size="39" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Predvar" sourceFile="Element2LatexImpl.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Quantifier" sourceFile="Element2LatexImpl.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$QuantorIntersection" sourceFile="Element2LatexImpl.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$QuantorUnion" sourceFile="Element2LatexImpl.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Unknown" sourceFile="Element2LatexImpl.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2LatexImpl$Var" sourceFile="Element2LatexImpl.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.Element2Utf8Impl" sourceFile="Element2Utf8Impl.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.KernelQedeqBoStorage" sourceFile="KernelQedeqBoStorage.java" interface="false" size="87" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules" sourceFile="LoadDirectlyRequiredModules.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.LoadRequiredModuleException" sourceFile="LoadRequiredModuleException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.LoadRequiredModules" sourceFile="LoadRequiredModules.java" interface="false" size="66" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.ModuleFileNotFoundException" sourceFile="ModuleFileNotFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.ModuleLabelsCreator" sourceFile="ModuleLabelsCreator.java" interface="false" size="69" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.PluginManager" sourceFile="PluginManager.java" interface="false" size="75" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.PluginResultManager" sourceFile="PluginResultManager.java" interface="false" size="58" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.QedeqVoBuilder" sourceFile="QedeqVoBuilder.java" interface="false" size="728" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.ServiceErrors" sourceFile="ServiceErrors.java" interface="true" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.ServiceProcessImpl" sourceFile="ServiceProcessImpl.java" interface="false" size="103" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.ServiceProcessManager" sourceFile="ServiceProcessManager.java" interface="false" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.StateManager" sourceFile="StateManager.java" interface="false" size="335" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.service.heuristic" total_bugs="0" total_types="2" total_size="254">
      <ClassStats class="org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor" sourceFile="DynamicHeuristicCheckerExecutor.java" interface="false" size="233" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPlugin" sourceFile="DynamicHeuristicCheckerPlugin.java" interface="false" size="21" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.service.latex" total_bugs="0" total_types="6" total_size="982">
      <ClassStats class="org.qedeq.kernel.bo.service.latex.LatexContentException" sourceFile="LatexContentException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.latex.LatexErrorCodes" sourceFile="LatexErrorCodes.java" interface="true" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.latex.LatexListDataException" sourceFile="LatexListDataException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor" sourceFile="Qedeq2LatexExecutor.java" interface="false" size="908" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin" sourceFile="Qedeq2LatexPlugin.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker" sourceFile="QedeqBoDuplicateLanguageChecker.java" interface="false" size="27" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.service.logic" total_bugs="0" total_types="11" total_size="1377">
      <ClassStats class="org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException" sourceFile="CheckRequiredModuleException.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.DefaultExistenceChecker" sourceFile="DefaultExistenceChecker.java" interface="false" size="107" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.FormalProofCheckerExecutor" sourceFile="FormalProofCheckerExecutor.java" interface="false" size="257" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.FormalProofCheckerPlugin" sourceFile="FormalProofCheckerPlugin.java" interface="false" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.LogicErrors" sourceFile="LogicErrors.java" interface="true" size="68" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.ModuleConstantsExistenceCheckerImpl" sourceFile="ModuleConstantsExistenceCheckerImpl.java" interface="false" size="206" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor" sourceFile="SimpleProofFinderExecutor.java" interface="false" size="151" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor$1" sourceFile="SimpleProofFinderExecutor.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin" sourceFile="SimpleProofFinderPlugin.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor" sourceFile="WellFormedCheckerExecutor.java" interface="false" size="497" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin" sourceFile="WellFormedCheckerPlugin.java" interface="false" size="20" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.bo.service.unicode" total_bugs="0" total_types="13" total_size="2013">
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser" sourceFile="Latex2UnicodeParser.java" interface="false" size="673" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser$1" sourceFile="Latex2UnicodeParser.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Latex2UnicodeSpecials" sourceFile="Latex2UnicodeSpecials.java" interface="false" size="138" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.LatexTextParser" sourceFile="LatexTextParser.java" interface="false" size="177" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.ProofLineData" sourceFile="ProofLineData.java" interface="false" size="46" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutor" sourceFile="Qedeq2UnicodeTextExecutor.java" interface="false" size="47" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin" sourceFile="Qedeq2UnicodeTextPlugin.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeVisitor" sourceFile="Qedeq2UnicodeVisitor.java" interface="false" size="795" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Executor" sourceFile="Qedeq2Utf8Executor.java" interface="false" size="75" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin" sourceFile="Qedeq2Utf8Plugin.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.ReferenceFinder" sourceFile="ReferenceFinder.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.UnicodeErrorCodes" sourceFile="UnicodeErrorCodes.java" interface="true" size="1" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.bo.service.unicode.UnicodeException" sourceFile="UnicodeException.java" interface="false" size="4" bugs="0"/>
    </PackageStats>
    <FindBugsProfile>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InitializationChain" totalMilliseconds="11" invocations="224" avgMicrosecondsPerInvocation="49" maxMicrosecondsPerInvocation="3168" standardDeviationMircosecondsPerInvocation="218"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.DominatorsAnalysisFactory" totalMilliseconds="11" invocations="51" avgMicrosecondsPerInvocation="218" maxMicrosecondsPerInvocation="3185" standardDeviationMircosecondsPerInvocation="465"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteAnnotationRetention" totalMilliseconds="11" invocations="465" avgMicrosecondsPerInvocation="24" maxMicrosecondsPerInvocation="1073" standardDeviationMircosecondsPerInvocation="64"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteNonNullAnnotations" totalMilliseconds="11" invocations="465" avgMicrosecondsPerInvocation="24" maxMicrosecondsPerInvocation="1231" standardDeviationMircosecondsPerInvocation="77"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodFactory" totalMilliseconds="12" invocations="552" avgMicrosecondsPerInvocation="22" maxMicrosecondsPerInvocation="1433" standardDeviationMircosecondsPerInvocation="75"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBugsSummaryStats" totalMilliseconds="13" invocations="465" avgMicrosecondsPerInvocation="28" maxMicrosecondsPerInvocation="2188" standardDeviationMircosecondsPerInvocation="129"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ExceptionSetFactoryFactory" totalMilliseconds="13" invocations="1647" avgMicrosecondsPerInvocation="8" maxMicrosecondsPerInvocation="10074" standardDeviationMircosecondsPerInvocation="248"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteSuppressedWarnings" totalMilliseconds="13" invocations="465" avgMicrosecondsPerInvocation="30" maxMicrosecondsPerInvocation="772" standardDeviationMircosecondsPerInvocation="60"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LockDataflowFactory" totalMilliseconds="14" invocations="24" avgMicrosecondsPerInvocation="590" maxMicrosecondsPerInvocation="2322" standardDeviationMircosecondsPerInvocation="653"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StaticCalendarDetector" totalMilliseconds="15" invocations="224" avgMicrosecondsPerInvocation="67" maxMicrosecondsPerInvocation="969" standardDeviationMircosecondsPerInvocation="111"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ObligationDataflowFactory" totalMilliseconds="16" invocations="167" avgMicrosecondsPerInvocation="97" maxMicrosecondsPerInvocation="4453" standardDeviationMircosecondsPerInvocation="362"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.asm.ClassReaderAnalysisEngine" totalMilliseconds="16" invocations="857" avgMicrosecondsPerInvocation="19" maxMicrosecondsPerInvocation="7791" standardDeviationMircosecondsPerInvocation="277"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BooleanReturnNull" totalMilliseconds="17" invocations="224" avgMicrosecondsPerInvocation="76" maxMicrosecondsPerInvocation="937" standardDeviationMircosecondsPerInvocation="128"/>
      <ClassProfile name="edu.umd.cs.findbugs.util.TopologicalSort" totalMilliseconds="17" invocations="225" avgMicrosecondsPerInvocation="79" maxMicrosecondsPerInvocation="4646" standardDeviationMircosecondsPerInvocation="330"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonSerializableValuePassedToWriteObject" totalMilliseconds="19" invocations="224" avgMicrosecondsPerInvocation="86" maxMicrosecondsPerInvocation="1801" standardDeviationMircosecondsPerInvocation="206"/>
      <ClassProfile name="edu.umd.cs.findbugs.NonReportingDetectorToDetector2Adapter" totalMilliseconds="20" invocations="6493" avgMicrosecondsPerInvocation="3" maxMicrosecondsPerInvocation="695" standardDeviationMircosecondsPerInvocation="8"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantPoolGenFactory" totalMilliseconds="20" invocations="224" avgMicrosecondsPerInvocation="91" maxMicrosecondsPerInvocation="4093" standardDeviationMircosecondsPerInvocation="306"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.VarArgsProblems" totalMilliseconds="21" invocations="224" avgMicrosecondsPerInvocation="96" maxMicrosecondsPerInvocation="1896" standardDeviationMircosecondsPerInvocation="235"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InstantiateStaticClass" totalMilliseconds="22" invocations="224" avgMicrosecondsPerInvocation="98" maxMicrosecondsPerInvocation="1898" standardDeviationMircosecondsPerInvocation="237"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.QuestionableBooleanAssignment" totalMilliseconds="22" invocations="224" avgMicrosecondsPerInvocation="98" maxMicrosecondsPerInvocation="2015" standardDeviationMircosecondsPerInvocation="246"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EmptyZipFileEntry" totalMilliseconds="22" invocations="224" avgMicrosecondsPerInvocation="99" maxMicrosecondsPerInvocation="1879" standardDeviationMircosecondsPerInvocation="255"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonSerializableStoreIntoSession" totalMilliseconds="22" invocations="224" avgMicrosecondsPerInvocation="101" maxMicrosecondsPerInvocation="4418" standardDeviationMircosecondsPerInvocation="338"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnconditionalWait" totalMilliseconds="22" invocations="224" avgMicrosecondsPerInvocation="101" maxMicrosecondsPerInvocation="1926" standardDeviationMircosecondsPerInvocation="249"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.IncompatMask" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="102" maxMicrosecondsPerInvocation="1963" standardDeviationMircosecondsPerInvocation="251"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindEmptySynchronizedBlock" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="104" maxMicrosecondsPerInvocation="1938" standardDeviationMircosecondsPerInvocation="247"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRunInvocations" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="105" maxMicrosecondsPerInvocation="2031" standardDeviationMircosecondsPerInvocation="256"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MutableLock" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="105" maxMicrosecondsPerInvocation="1930" standardDeviationMircosecondsPerInvocation="251"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadUseOfReturnValue" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="105" maxMicrosecondsPerInvocation="2923" standardDeviationMircosecondsPerInvocation="284"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LoadedFieldSetFactory" totalMilliseconds="23" invocations="1647" avgMicrosecondsPerInvocation="14" maxMicrosecondsPerInvocation="2602" standardDeviationMircosecondsPerInvocation="78"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnnecessaryMath" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="105" maxMicrosecondsPerInvocation="3385" standardDeviationMircosecondsPerInvocation="305"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFieldSelfAssignment" totalMilliseconds="23" invocations="224" avgMicrosecondsPerInvocation="106" maxMicrosecondsPerInvocation="1998" standardDeviationMircosecondsPerInvocation="259"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InheritanceUnsafeGetResource" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="108" maxMicrosecondsPerInvocation="2175" standardDeviationMircosecondsPerInvocation="289"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFinalizeInvocations" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="109" maxMicrosecondsPerInvocation="1955" standardDeviationMircosecondsPerInvocation="265"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MutableStaticFields" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="109" maxMicrosecondsPerInvocation="2060" standardDeviationMircosecondsPerInvocation="255"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.IDivResultCastToDouble" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="109" maxMicrosecondsPerInvocation="2232" standardDeviationMircosecondsPerInvocation="281"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SuspiciousThreadInterrupted" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="110" maxMicrosecondsPerInvocation="2074" standardDeviationMircosecondsPerInvocation="277"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StringConcatenation" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="110" maxMicrosecondsPerInvocation="1979" standardDeviationMircosecondsPerInvocation="270"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadlyOverriddenAdapter" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="110" maxMicrosecondsPerInvocation="1940" standardDeviationMircosecondsPerInvocation="284"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SuperfluousInstanceOf" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="111" maxMicrosecondsPerInvocation="2068" standardDeviationMircosecondsPerInvocation="274"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.WrongMapIterator" totalMilliseconds="24" invocations="224" avgMicrosecondsPerInvocation="111" maxMicrosecondsPerInvocation="2118" standardDeviationMircosecondsPerInvocation="262"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.HugeSharedStringConstants" totalMilliseconds="25" invocations="224" avgMicrosecondsPerInvocation="111" maxMicrosecondsPerInvocation="2413" standardDeviationMircosecondsPerInvocation="305"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.VolatileUsage" totalMilliseconds="25" invocations="224" avgMicrosecondsPerInvocation="112" maxMicrosecondsPerInvocation="3065" standardDeviationMircosecondsPerInvocation="325"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNakedNotify" totalMilliseconds="25" invocations="224" avgMicrosecondsPerInvocation="112" maxMicrosecondsPerInvocation="1922" standardDeviationMircosecondsPerInvocation="281"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindMaskedFields" totalMilliseconds="25" invocations="224" avgMicrosecondsPerInvocation="113" maxMicrosecondsPerInvocation="2088" standardDeviationMircosecondsPerInvocation="270"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.XMLFactoryBypass" totalMilliseconds="25" invocations="224" avgMicrosecondsPerInvocation="114" maxMicrosecondsPerInvocation="1969" standardDeviationMircosecondsPerInvocation="274"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUninitializedGet" totalMilliseconds="27" invocations="224" avgMicrosecondsPerInvocation="121" maxMicrosecondsPerInvocation="2005" standardDeviationMircosecondsPerInvocation="267"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison2" totalMilliseconds="27" invocations="224" avgMicrosecondsPerInvocation="124" maxMicrosecondsPerInvocation="3434" standardDeviationMircosecondsPerInvocation="349"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.WaitInLoop" totalMilliseconds="28" invocations="224" avgMicrosecondsPerInvocation="126" maxMicrosecondsPerInvocation="2986" standardDeviationMircosecondsPerInvocation="333"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.ReadReturnShouldBeChecked" totalMilliseconds="28" invocations="224" avgMicrosecondsPerInvocation="128" maxMicrosecondsPerInvocation="2293" standardDeviationMircosecondsPerInvocation="308"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReverseDepthFirstSearchFactory" totalMilliseconds="29" invocations="1647" avgMicrosecondsPerInvocation="18" maxMicrosecondsPerInvocation="1045" standardDeviationMircosecondsPerInvocation="46"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UncallableMethodOfAnonymousClass" totalMilliseconds="29" invocations="224" avgMicrosecondsPerInvocation="132" maxMicrosecondsPerInvocation="3637" standardDeviationMircosecondsPerInvocation="376"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDoubleCheck" totalMilliseconds="29" invocations="224" avgMicrosecondsPerInvocation="132" maxMicrosecondsPerInvocation="2587" standardDeviationMircosecondsPerInvocation="332"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InefficientToArray" totalMilliseconds="31" invocations="224" avgMicrosecondsPerInvocation="139" maxMicrosecondsPerInvocation="3823" standardDeviationMircosecondsPerInvocation="426"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation" totalMilliseconds="31" invocations="224" avgMicrosecondsPerInvocation="141" maxMicrosecondsPerInvocation="22811" standardDeviationMircosecondsPerInvocation="1522"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeAndNullCheckField" totalMilliseconds="31" invocations="224" avgMicrosecondsPerInvocation="142" maxMicrosecondsPerInvocation="2526" standardDeviationMircosecondsPerInvocation="333"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsyncGet" totalMilliseconds="32" invocations="224" avgMicrosecondsPerInvocation="145" maxMicrosecondsPerInvocation="1939" standardDeviationMircosecondsPerInvocation="294"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUselessControlFlow" totalMilliseconds="34" invocations="224" avgMicrosecondsPerInvocation="152" maxMicrosecondsPerInvocation="10300" standardDeviationMircosecondsPerInvocation="727"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.DepthFirstSearchFactory" totalMilliseconds="37" invocations="1992" avgMicrosecondsPerInvocation="18" maxMicrosecondsPerInvocation="2061" standardDeviationMircosecondsPerInvocation="67"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.Naming" totalMilliseconds="38" invocations="224" avgMicrosecondsPerInvocation="172" maxMicrosecondsPerInvocation="5667" standardDeviationMircosecondsPerInvocation="485"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SerializableIdiom" totalMilliseconds="39" invocations="224" avgMicrosecondsPerInvocation="175" maxMicrosecondsPerInvocation="7072" standardDeviationMircosecondsPerInvocation="583"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUncalledPrivateMethods" totalMilliseconds="40" invocations="224" avgMicrosecondsPerInvocation="179" maxMicrosecondsPerInvocation="3398" standardDeviationMircosecondsPerInvocation="472"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StreamResourceTracker" totalMilliseconds="42" invocations="43" avgMicrosecondsPerInvocation="987" maxMicrosecondsPerInvocation="5007" standardDeviationMircosecondsPerInvocation="1141"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteUnconditionalParamDerefs" totalMilliseconds="49" invocations="224" avgMicrosecondsPerInvocation="219" maxMicrosecondsPerInvocation="10817" standardDeviationMircosecondsPerInvocation="926"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LazyInit" totalMilliseconds="50" invocations="224" avgMicrosecondsPerInvocation="224" maxMicrosecondsPerInvocation="17142" standardDeviationMircosecondsPerInvocation="1308"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindLocalSelfAssignment2" totalMilliseconds="55" invocations="224" avgMicrosecondsPerInvocation="246" maxMicrosecondsPerInvocation="30267" standardDeviationMircosecondsPerInvocation="2031"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindReturnRef" totalMilliseconds="56" invocations="224" avgMicrosecondsPerInvocation="250" maxMicrosecondsPerInvocation="5800" standardDeviationMircosecondsPerInvocation="663"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnrelatedTypesInGenericContainer" totalMilliseconds="57" invocations="224" avgMicrosecondsPerInvocation="255" maxMicrosecondsPerInvocation="4366" standardDeviationMircosecondsPerInvocation="599"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EqualsOperandShouldHaveClassCompatibleWithThis" totalMilliseconds="57" invocations="465" avgMicrosecondsPerInvocation="124" maxMicrosecondsPerInvocation="6342" standardDeviationMircosecondsPerInvocation="376"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethodInvocations" totalMilliseconds="57" invocations="224" avgMicrosecondsPerInvocation="258" maxMicrosecondsPerInvocation="10142" standardDeviationMircosecondsPerInvocation="869"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeOnClassLiteralNotGetClass" totalMilliseconds="59" invocations="224" avgMicrosecondsPerInvocation="267" maxMicrosecondsPerInvocation="5657" standardDeviationMircosecondsPerInvocation="785"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadCast2" totalMilliseconds="67" invocations="224" avgMicrosecondsPerInvocation="301" maxMicrosecondsPerInvocation="20585" standardDeviationMircosecondsPerInvocation="1532"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DoInsideDoPrivileged" totalMilliseconds="67" invocations="224" avgMicrosecondsPerInvocation="303" maxMicrosecondsPerInvocation="46923" standardDeviationMircosecondsPerInvocation="3128"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref" totalMilliseconds="69" invocations="224" avgMicrosecondsPerInvocation="310" maxMicrosecondsPerInvocation="3750" standardDeviationMircosecondsPerInvocation="611"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSqlInjection" totalMilliseconds="69" invocations="224" avgMicrosecondsPerInvocation="311" maxMicrosecondsPerInvocation="7806" standardDeviationMircosecondsPerInvocation="897"/>
      <ClassProfile name="edu.umd.cs.findbugs.DetectorToDetector2Adapter" totalMilliseconds="71" invocations="24433" avgMicrosecondsPerInvocation="2" maxMicrosecondsPerInvocation="5691" standardDeviationMircosecondsPerInvocation="36"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CalledMethods" totalMilliseconds="77" invocations="465" avgMicrosecondsPerInvocation="166" maxMicrosecondsPerInvocation="5530" standardDeviationMircosecondsPerInvocation="465"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.ReflectiveClasses" totalMilliseconds="81" invocations="465" avgMicrosecondsPerInvocation="175" maxMicrosecondsPerInvocation="23558" standardDeviationMircosecondsPerInvocation="1205"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.impl.ZipCodeBaseFactory" totalMilliseconds="84" invocations="25" avgMicrosecondsPerInvocation="3364" maxMicrosecondsPerInvocation="40089" standardDeviationMircosecondsPerInvocation="9505"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase" totalMilliseconds="87" invocations="465" avgMicrosecondsPerInvocation="189" maxMicrosecondsPerInvocation="23996" standardDeviationMircosecondsPerInvocation="1174"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.AppendingToAnObjectOutputStream" totalMilliseconds="88" invocations="224" avgMicrosecondsPerInvocation="393" maxMicrosecondsPerInvocation="7215" standardDeviationMircosecondsPerInvocation="1001"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadSyntaxForRegularExpression" totalMilliseconds="89" invocations="224" avgMicrosecondsPerInvocation="397" maxMicrosecondsPerInvocation="7672" standardDeviationMircosecondsPerInvocation="998"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindOpenStream" totalMilliseconds="89" invocations="224" avgMicrosecondsPerInvocation="398" maxMicrosecondsPerInvocation="41638" standardDeviationMircosecondsPerInvocation="3036"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFloatEquality" totalMilliseconds="89" invocations="224" avgMicrosecondsPerInvocation="399" maxMicrosecondsPerInvocation="7480" standardDeviationMircosecondsPerInvocation="983"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CrossSiteScripting" totalMilliseconds="90" invocations="224" avgMicrosecondsPerInvocation="405" maxMicrosecondsPerInvocation="7462" standardDeviationMircosecondsPerInvocation="981"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadForLoop" totalMilliseconds="91" invocations="224" avgMicrosecondsPerInvocation="410" maxMicrosecondsPerInvocation="7385" standardDeviationMircosecondsPerInvocation="1010"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FormatStringChecker" totalMilliseconds="92" invocations="224" avgMicrosecondsPerInvocation="414" maxMicrosecondsPerInvocation="7475" standardDeviationMircosecondsPerInvocation="1033"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonShortCircuit" totalMilliseconds="95" invocations="224" avgMicrosecondsPerInvocation="428" maxMicrosecondsPerInvocation="7729" standardDeviationMircosecondsPerInvocation="1041"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteRecursiveLoop" totalMilliseconds="96" invocations="224" avgMicrosecondsPerInvocation="431" maxMicrosecondsPerInvocation="7566" standardDeviationMircosecondsPerInvocation="1072"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizationOnSharedBuiltinConstant" totalMilliseconds="96" invocations="224" avgMicrosecondsPerInvocation="432" maxMicrosecondsPerInvocation="7611" standardDeviationMircosecondsPerInvocation="1038"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.JavaClassAnalysisEngine" totalMilliseconds="106" invocations="509" avgMicrosecondsPerInvocation="208" maxMicrosecondsPerInvocation="18854" standardDeviationMircosecondsPerInvocation="1057"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical" totalMilliseconds="109" invocations="465" avgMicrosecondsPerInvocation="236" maxMicrosecondsPerInvocation="9668" standardDeviationMircosecondsPerInvocation="794"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison" totalMilliseconds="110" invocations="224" avgMicrosecondsPerInvocation="493" maxMicrosecondsPerInvocation="8376" standardDeviationMircosecondsPerInvocation="1139"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDerefsInvolvingNonShortCircuitEvaluation" totalMilliseconds="113" invocations="224" avgMicrosecondsPerInvocation="507" maxMicrosecondsPerInvocation="26857" standardDeviationMircosecondsPerInvocation="2012"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteLoop" totalMilliseconds="117" invocations="224" avgMicrosecondsPerInvocation="525" maxMicrosecondsPerInvocation="8327" standardDeviationMircosecondsPerInvocation="1298"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindHEmismatch" totalMilliseconds="118" invocations="224" avgMicrosecondsPerInvocation="529" maxMicrosecondsPerInvocation="21903" standardDeviationMircosecondsPerInvocation="1753"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteNonnullReturnValues" totalMilliseconds="119" invocations="224" avgMicrosecondsPerInvocation="534" maxMicrosecondsPerInvocation="31532" standardDeviationMircosecondsPerInvocation="2985"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RuntimeExceptionCapture" totalMilliseconds="121" invocations="224" avgMicrosecondsPerInvocation="543" maxMicrosecondsPerInvocation="9790" standardDeviationMircosecondsPerInvocation="1337"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizingOnContentsOfFieldToProtectField" totalMilliseconds="122" invocations="224" avgMicrosecondsPerInvocation="545" maxMicrosecondsPerInvocation="20443" standardDeviationMircosecondsPerInvocation="1959"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DuplicateBranches" totalMilliseconds="127" invocations="224" avgMicrosecondsPerInvocation="569" maxMicrosecondsPerInvocation="27203" standardDeviationMircosecondsPerInvocation="2426"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison" totalMilliseconds="133" invocations="224" avgMicrosecondsPerInvocation="595" maxMicrosecondsPerInvocation="25147" standardDeviationMircosecondsPerInvocation="2048"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDeadLocalStores" totalMilliseconds="136" invocations="224" avgMicrosecondsPerInvocation="611" maxMicrosecondsPerInvocation="29679" standardDeviationMircosecondsPerInvocation="2877"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CallToUnsupportedMethod" totalMilliseconds="138" invocations="224" avgMicrosecondsPerInvocation="620" maxMicrosecondsPerInvocation="12588" standardDeviationMircosecondsPerInvocation="1783"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SwitchFallthrough" totalMilliseconds="142" invocations="224" avgMicrosecondsPerInvocation="637" maxMicrosecondsPerInvocation="36568" standardDeviationMircosecondsPerInvocation="2667"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RepeatedConditionals" totalMilliseconds="145" invocations="224" avgMicrosecondsPerInvocation="648" maxMicrosecondsPerInvocation="38749" standardDeviationMircosecondsPerInvocation="2873"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindInconsistentSync2" totalMilliseconds="157" invocations="224" avgMicrosecondsPerInvocation="701" maxMicrosecondsPerInvocation="11791" standardDeviationMircosecondsPerInvocation="1685"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnreadFields" totalMilliseconds="158" invocations="224" avgMicrosecondsPerInvocation="706" maxMicrosecondsPerInvocation="19663" standardDeviationMircosecondsPerInvocation="1937"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReturnPathTypeDataflowFactory" totalMilliseconds="166" invocations="873" avgMicrosecondsPerInvocation="190" maxMicrosecondsPerInvocation="20484" standardDeviationMircosecondsPerInvocation="741"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSpinLoop" totalMilliseconds="166" invocations="224" avgMicrosecondsPerInvocation="744" maxMicrosecondsPerInvocation="138938" standardDeviationMircosecondsPerInvocation="9259"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase" totalMilliseconds="170" invocations="43920" avgMicrosecondsPerInvocation="3" maxMicrosecondsPerInvocation="20183" standardDeviationMircosecondsPerInvocation="98"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindPuzzlers" totalMilliseconds="186" invocations="224" avgMicrosecondsPerInvocation="834" maxMicrosecondsPerInvocation="86777" standardDeviationMircosecondsPerInvocation="5852"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassInfoAnalysisEngine" totalMilliseconds="250" invocations="934" avgMicrosecondsPerInvocation="267" maxMicrosecondsPerInvocation="24373" standardDeviationMircosecondsPerInvocation="1373"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethods" totalMilliseconds="250" invocations="224" avgMicrosecondsPerInvocation="1119" maxMicrosecondsPerInvocation="101571" standardDeviationMircosecondsPerInvocation="7044"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FieldItemSummary" totalMilliseconds="284" invocations="465" avgMicrosecondsPerInvocation="612" maxMicrosecondsPerInvocation="25441" standardDeviationMircosecondsPerInvocation="1881"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.obl.ObligationAnalysis" totalMilliseconds="349" invocations="167" avgMicrosecondsPerInvocation="2090" maxMicrosecondsPerInvocation="205327" standardDeviationMircosecondsPerInvocation="15974"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LoadOfKnownNullValue" totalMilliseconds="373" invocations="224" avgMicrosecondsPerInvocation="1665" maxMicrosecondsPerInvocation="230387" standardDeviationMircosecondsPerInvocation="15402"/>
      <ClassProfile name="edu.umd.cs.findbugs.OpcodeStack$JumpInfoFactory" totalMilliseconds="390" invocations="6460" avgMicrosecondsPerInvocation="60" maxMicrosecondsPerInvocation="27166" standardDeviationMircosecondsPerInvocation="390"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteDirectlyRelevantTypeQualifiers" totalMilliseconds="406" invocations="465" avgMicrosecondsPerInvocation="873" maxMicrosecondsPerInvocation="53364" standardDeviationMircosecondsPerInvocation="3190"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodGenFactory" totalMilliseconds="431" invocations="1871" avgMicrosecondsPerInvocation="230" maxMicrosecondsPerInvocation="55885" standardDeviationMircosecondsPerInvocation="1526"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.URLProblems" totalMilliseconds="439" invocations="224" avgMicrosecondsPerInvocation="1962" maxMicrosecondsPerInvocation="242442" standardDeviationMircosecondsPerInvocation="16443"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref$CheckCallSitesAndReturnInstructions" totalMilliseconds="596" invocations="1647" avgMicrosecondsPerInvocation="362" maxMicrosecondsPerInvocation="390728" standardDeviationMircosecondsPerInvocation="9625"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassDataAnalysisEngine" totalMilliseconds="644" invocations="936" avgMicrosecondsPerInvocation="688" maxMicrosecondsPerInvocation="39477" standardDeviationMircosecondsPerInvocation="2768"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory" totalMilliseconds="664" invocations="1648" avgMicrosecondsPerInvocation="403" maxMicrosecondsPerInvocation="70462" standardDeviationMircosecondsPerInvocation="1986"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MethodReturnCheck" totalMilliseconds="674" invocations="224" avgMicrosecondsPerInvocation="3010" maxMicrosecondsPerInvocation="563013" standardDeviationMircosecondsPerInvocation="37522"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantDataflowFactory" totalMilliseconds="899" invocations="1647" avgMicrosecondsPerInvocation="545" maxMicrosecondsPerInvocation="172715" standardDeviationMircosecondsPerInvocation="5493"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadResultSetAccess" totalMilliseconds="918" invocations="224" avgMicrosecondsPerInvocation="4101" maxMicrosecondsPerInvocation="831508" standardDeviationMircosecondsPerInvocation="55415"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory" totalMilliseconds="1397" invocations="1647" avgMicrosecondsPerInvocation="848" maxMicrosecondsPerInvocation="1143264" standardDeviationMircosecondsPerInvocation="28163"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison$SpecialTypeAnalysis" totalMilliseconds="1653" invocations="1334" avgMicrosecondsPerInvocation="1239" maxMicrosecondsPerInvocation="501869" standardDeviationMircosecondsPerInvocation="15183"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory" totalMilliseconds="2517" invocations="1693" avgMicrosecondsPerInvocation="1487" maxMicrosecondsPerInvocation="575583" standardDeviationMircosecondsPerInvocation="19760"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory" totalMilliseconds="2634" invocations="1647" avgMicrosecondsPerInvocation="1599" maxMicrosecondsPerInvocation="287676" standardDeviationMircosecondsPerInvocation="9064"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory" totalMilliseconds="2828" invocations="2030" avgMicrosecondsPerInvocation="1393" maxMicrosecondsPerInvocation="373986" standardDeviationMircosecondsPerInvocation="11173"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory" totalMilliseconds="3573" invocations="1647" avgMicrosecondsPerInvocation="2169" maxMicrosecondsPerInvocation="765572" standardDeviationMircosecondsPerInvocation="23424"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder" totalMilliseconds="4297" invocations="1647" avgMicrosecondsPerInvocation="2609" maxMicrosecondsPerInvocation="686792" standardDeviationMircosecondsPerInvocation="26047"/>
    </FindBugsProfile>
  </FindBugsSummary>
  <ClassFeatures></ClassFeatures>
  <History></History>
</BugCollection>
