<?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="1312000340011" analysisTimestamp="1312000341205" release="">
  <Project filename="&lt;&lt;unnamed project&gt;&gt;" projectName="">
    <Jar>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_kernel/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/qedeq_kernel/target/classes</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_kernel/src/main/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_kernel/src/test/resources</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_kernel/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/qedeq_kernel/src/main/java</SrcDir>
  </Project>
  <Errors errors="0" missingClasses="0"></Errors>
  <FindBugsSummary timestamp="Sat, 30 Jul 2011 04:32:20 +0000" total_classes="451" referenced_classes="609" total_bugs="0" total_size="25371" num_packages="38" vm_version="14.3-b01" cpu_seconds="33.47" clock_seconds="58.76" peak_mbytes="478.90" alloc_mbytes="508.06" gc_seconds="23.50">
    <FileStats path="com/sun/syndication/io/XmlReader.java" bugCount="0" size="265"/>
    <FileStats path="com/sun/syndication/io/XmlReaderException.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/base/io/AbstractOutput.java" bugCount="0" size="141"/>
    <FileStats path="org/qedeq/base/io/IoUtility.java" bugCount="0" size="533"/>
    <FileStats path="org/qedeq/base/io/Parameters.java" bugCount="0" size="71"/>
    <FileStats path="org/qedeq/base/io/ResourceLoaderUtility.java" bugCount="0" size="81"/>
    <FileStats path="org/qedeq/base/io/SourceArea.java" bugCount="0" size="32"/>
    <FileStats path="org/qedeq/base/io/SourcePosition.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/base/io/StringOutput.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/base/io/SubTextInput.java" bugCount="0" size="26"/>
    <FileStats path="org/qedeq/base/io/TextInput.java" bugCount="0" size="343"/>
    <FileStats path="org/qedeq/base/io/TextOutput.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/base/io/Version.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/base/io/VersionSet.java" bugCount="0" size="54"/>
    <FileStats path="org/qedeq/base/trace/Trace.java" bugCount="0" size="201"/>
    <FileStats path="org/qedeq/base/utility/DateUtility.java" bugCount="0" size="71"/>
    <FileStats path="org/qedeq/base/utility/Enumerator.java" bugCount="0" size="26"/>
    <FileStats path="org/qedeq/base/utility/EqualsUtility.java" bugCount="0" size="28"/>
    <FileStats path="org/qedeq/base/utility/Splitter.java" bugCount="0" size="46"/>
    <FileStats path="org/qedeq/base/utility/StringUtility.java" bugCount="0" size="249"/>
    <FileStats path="org/qedeq/base/utility/YodaUtility.java" bugCount="0" size="94"/>
    <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"/>
    <FileStats path="org/qedeq/kernel/se/base/list/Atom.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/list/Element.java" bugCount="0" size="10"/>
    <FileStats path="org/qedeq/kernel/se/base/list/ElementList.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Add.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Author.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/AuthorList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Axiom.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ChangedRule.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ChangedRuleList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Chapter.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ChapterList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Conclusion.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ConditionalProof.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Existential.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProof.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProofLine.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProofLineList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FormalProofList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Formula.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/module/FunctionDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Header.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Hypothesis.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Import.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ImportList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/InitialFunctionDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/InitialPredicateDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Latex.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LatexList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LinkList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LiteratureItem.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LiteratureItemList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Location.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/module/LocationList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ModusPonens.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Node.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/se/base/module/NodeType.java" bugCount="0" size="8"/>
    <FileStats path="org/qedeq/kernel/se/base/module/PredicateDefinition.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Proof.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/ProofList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Proposition.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Qedeq.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Reason.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Rename.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Rule.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Section.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SectionList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Specification.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Subsection.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubsectionList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubsectionType.java" bugCount="0" size="1"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubstFree.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubstFunc.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/SubstPred.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Term.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/kernel/se/base/module/Universal.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/base/module/UsedByList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/base/module/VariableList.java" bugCount="0" size="3"/>
    <FileStats path="org/qedeq/kernel/se/common/CheckLevel.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/common/DefaultModuleAddress.java" bugCount="0" size="151"/>
    <FileStats path="org/qedeq/kernel/se/common/DefaultSourceFileExceptionList.java" bugCount="0" size="70"/>
    <FileStats path="org/qedeq/kernel/se/common/DependencyState.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/common/DependencyStateDescriptions.java" bugCount="0" size="11"/>
    <FileStats path="org/qedeq/kernel/se/common/ErrorCodes.java" bugCount="0" size="1"/>
    <FileStats path="org/qedeq/kernel/se/common/IllegalModuleDataException.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/se/common/LoadingState.java" bugCount="0" size="51"/>
    <FileStats path="org/qedeq/kernel/se/common/LoadingStateDescriptions.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/se/common/LogicalModuleState.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/se/common/LogicalModuleStateDescriptions.java" bugCount="0" size="13"/>
    <FileStats path="org/qedeq/kernel/se/common/ModuleAddress.java" bugCount="0" size="10"/>
    <FileStats path="org/qedeq/kernel/se/common/ModuleContext.java" bugCount="0" size="55"/>
    <FileStats path="org/qedeq/kernel/se/common/ModuleDataException.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/se/common/Plugin.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/common/QedeqException.java" bugCount="0" size="12"/>
    <FileStats path="org/qedeq/kernel/se/common/RuleKey.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/kernel/se/common/SourceFileException.java" bugCount="0" size="51"/>
    <FileStats path="org/qedeq/kernel/se/common/SourceFileExceptionList.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/se/common/State.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/se/config/ConfigAccess.java" bugCount="0" size="99"/>
    <FileStats path="org/qedeq/kernel/se/config/QedeqConfig.java" bugCount="0" size="157"/>
    <FileStats path="org/qedeq/kernel/se/dto/list/DefaultAtom.java" bugCount="0" size="41"/>
    <FileStats path="org/qedeq/kernel/se/dto/list/DefaultElementList.java" bugCount="0" size="105"/>
    <FileStats path="org/qedeq/kernel/se/dto/list/ElementSet.java" bugCount="0" size="100"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AddVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AuthorListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AuthorVo.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/AxiomVo.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChangedRuleListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChangedRuleVo.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChapterListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ChapterVo.java" bugCount="0" size="49"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ConclusionVo.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ConditionalProofVo.java" bugCount="0" size="71"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ExistentialVo.java" bugCount="0" size="52"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofLineListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofLineVo.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormalProofVo.java" bugCount="0" size="42"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FormulaVo.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/FunctionDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/HeaderVo.java" bugCount="0" size="66"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/HypothesisVo.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ImportListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ImportVo.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/InitialFunctionDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/InitialPredicateDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LatexListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LatexVo.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LinkListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LiteratureItemListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LiteratureItemVo.java" bugCount="0" size="28"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LocationListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/LocationVo.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ModusPonensVo.java" bugCount="0" size="53"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/NodeVo.java" bugCount="0" size="69"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/PredicateDefinitionVo.java" bugCount="0" size="63"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ProofListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/ProofVo.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/PropositionVo.java" bugCount="0" size="70"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/QedeqVo.java" bugCount="0" size="40"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/RenameVo.java" bugCount="0" size="78"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/RuleVo.java" bugCount="0" size="85"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SectionListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SectionVo.java" bugCount="0" size="44"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SpecificationVo.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubsectionListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubsectionVo.java" bugCount="0" size="45"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubstFreeVo.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubstFuncVo.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/SubstPredVo.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/TermVo.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/UniversalVo.java" bugCount="0" size="52"/>
    <FileStats path="org/qedeq/kernel/se/dto/module/UsedByListVo.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/se/visitor/AbstractModuleVisitor.java" bugCount="0" size="223"/>
    <FileStats path="org/qedeq/kernel/se/visitor/InterruptException.java" bugCount="0" size="6"/>
    <FileStats path="org/qedeq/kernel/se/visitor/LatexList2Text.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/se/visitor/ListVisitor.java" bugCount="0" size="5"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqNotNullTraverser.java" bugCount="0" size="988"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqNumbers.java" bugCount="0" size="143"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqTraverser.java" bugCount="0" size="56"/>
    <FileStats path="org/qedeq/kernel/se/visitor/QedeqVisitor.java" bugCount="0" size="107"/>
    <FileStats path="org/qedeq/kernel/xml/common/XmlSyntaxException.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/xml/dao/DaoErrors.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/kernel/xml/dao/Qedeq2Xml.java" bugCount="0" size="570"/>
    <FileStats path="org/qedeq/kernel/xml/dao/Xml2Xml.java" bugCount="0" size="46"/>
    <FileStats path="org/qedeq/kernel/xml/dao/XmlQedeqFileDao.java" bugCount="0" size="65"/>
    <FileStats path="org/qedeq/kernel/xml/handler/common/AbstractSimpleHandler.java" bugCount="0" size="39"/>
    <FileStats path="org/qedeq/kernel/xml/handler/common/SaxDefaultHandler.java" bugCount="0" size="150"/>
    <FileStats path="org/qedeq/kernel/xml/handler/common/SimpleAttributes.java" bugCount="0" size="48"/>
    <FileStats path="org/qedeq/kernel/xml/handler/common/SimpleHandler.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/xml/handler/list/BasicHandler.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/xml/handler/list/ElementHandler.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/AddHandler.java" bugCount="0" size="19"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/AuthorHandler.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/AuthorListHandler.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/AxiomHandler.java" bugCount="0" size="32"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ChangedRuleHandler.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ChapterHandler.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ConclusionHandler.java" bugCount="0" size="26"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ConditionalProofHandler.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ExistentialHandler.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/FormalProofHandler.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/FormalProofLineListHandler.java" bugCount="0" size="87"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/FormulaHandler.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/FunctionDefinitionHandler.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/HeaderHandler.java" bugCount="0" size="56"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/HypothesisHandler.java" bugCount="0" size="26"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ImportListHandler.java" bugCount="0" size="29"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/InitialFunctionDefinitionHandler.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/InitialPredicateDefinitionHandler.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/LatexHandler.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/LatexListHandler.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/LiteratureItemHandler.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/LiteratureItemListHandler.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ModusPonensHandler.java" bugCount="0" size="19"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/NodeHandler.java" bugCount="0" size="81"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/PredicateDefinitionHandler.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/ProofHandler.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/PropositionHandler.java" bugCount="0" size="43"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/QedeqHandler.java" bugCount="0" size="37"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/RenameHandler.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/RuleHandler.java" bugCount="0" size="48"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SectionHandler.java" bugCount="0" size="41"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SpecificationHandler.java" bugCount="0" size="33"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SubsectionHandler.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SubsectionListHandler.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SubstFreevarHandler.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SubstFuncvarHandler.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/SubstPredvarHandler.java" bugCount="0" size="38"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/TermHandler.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/UniversalHandler.java" bugCount="0" size="30"/>
    <FileStats path="org/qedeq/kernel/xml/handler/module/UsedByListHandler.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/kernel/xml/handler/parser/LoadXmlOperatorListUtility.java" bugCount="0" size="42"/>
    <FileStats path="org/qedeq/kernel/xml/handler/parser/ParserErrors.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/kernel/xml/handler/parser/ParserHandler.java" bugCount="0" size="79"/>
    <FileStats path="org/qedeq/kernel/xml/mapper/Context2SimpleXPath.java" bugCount="0" size="771"/>
    <FileStats path="org/qedeq/kernel/xml/mapper/LocationFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/xml/mapper/LocationNotFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/xml/parser/BasicParser.java" bugCount="0" size="68"/>
    <FileStats path="org/qedeq/kernel/xml/parser/SaxEntityResolver.java" bugCount="0" size="36"/>
    <FileStats path="org/qedeq/kernel/xml/parser/SaxErrorHandler.java" bugCount="0" size="35"/>
    <FileStats path="org/qedeq/kernel/xml/parser/SaxParser.java" bugCount="0" size="104"/>
    <FileStats path="org/qedeq/kernel/xml/tracker/LocationFoundException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/kernel/xml/tracker/SimpleXPath.java" bugCount="0" size="164"/>
    <FileStats path="org/qedeq/kernel/xml/tracker/XPathLocationFinder.java" bugCount="0" size="80"/>
    <FileStats path="org/qedeq/kernel/xml/tracker/XPathLocationParser.java" bugCount="0" size="210"/>
    <PackageStats package="com.sun.syndication.io" total_bugs="0" total_types="2" total_size="296">
      <ClassStats class="com.sun.syndication.io.XmlReader" sourceFile="XmlReader.java" interface="false" size="265" bugs="0"/>
      <ClassStats class="com.sun.syndication.io.XmlReaderException" sourceFile="XmlReaderException.java" interface="false" size="31" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.base.io" total_bugs="0" total_types="12" total_size="1419">
      <ClassStats class="org.qedeq.base.io.AbstractOutput" sourceFile="AbstractOutput.java" interface="false" size="141" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.IoUtility" sourceFile="IoUtility.java" interface="false" size="533" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.Parameters" sourceFile="Parameters.java" interface="false" size="71" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.ResourceLoaderUtility" sourceFile="ResourceLoaderUtility.java" interface="false" size="81" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.SourceArea" sourceFile="SourceArea.java" interface="false" size="32" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.SourcePosition" sourceFile="SourcePosition.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.StringOutput" sourceFile="StringOutput.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.SubTextInput" sourceFile="SubTextInput.java" interface="false" size="26" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.TextInput" sourceFile="TextInput.java" interface="false" size="343" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.TextOutput" sourceFile="TextOutput.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.Version" sourceFile="Version.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.base.io.VersionSet" sourceFile="VersionSet.java" interface="false" size="54" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.base.trace" total_bugs="0" total_types="1" total_size="201">
      <ClassStats class="org.qedeq.base.trace.Trace" sourceFile="Trace.java" interface="false" size="201" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.base.utility" total_bugs="0" total_types="6" total_size="514">
      <ClassStats class="org.qedeq.base.utility.DateUtility" sourceFile="DateUtility.java" interface="false" size="71" bugs="0"/>
      <ClassStats class="org.qedeq.base.utility.Enumerator" sourceFile="Enumerator.java" interface="false" size="26" bugs="0"/>
      <ClassStats class="org.qedeq.base.utility.EqualsUtility" sourceFile="EqualsUtility.java" interface="false" size="28" bugs="0"/>
      <ClassStats class="org.qedeq.base.utility.Splitter" sourceFile="Splitter.java" interface="false" size="46" bugs="0"/>
      <ClassStats class="org.qedeq.base.utility.StringUtility" sourceFile="StringUtility.java" interface="false" size="249" bugs="0"/>
      <ClassStats class="org.qedeq.base.utility.YodaUtility" sourceFile="YodaUtility.java" interface="false" size="94" bugs="0"/>
    </PackageStats>
    <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>
    <PackageStats package="org.qedeq.kernel.se.base.list" total_bugs="0" total_types="3" total_size="21">
      <ClassStats class="org.qedeq.kernel.se.base.list.Atom" sourceFile="Atom.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.list.Element" sourceFile="Element.java" interface="true" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.list.ElementList" sourceFile="ElementList.java" interface="true" size="9" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.base.module" total_bugs="0" total_types="54" total_size="219">
      <ClassStats class="org.qedeq.kernel.se.base.module.Add" sourceFile="Add.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Author" sourceFile="Author.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.AuthorList" sourceFile="AuthorList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Axiom" sourceFile="Axiom.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ChangedRule" sourceFile="ChangedRule.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ChangedRuleList" sourceFile="ChangedRuleList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Chapter" sourceFile="Chapter.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ChapterList" sourceFile="ChapterList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Conclusion" sourceFile="Conclusion.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ConditionalProof" sourceFile="ConditionalProof.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Existential" sourceFile="Existential.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProof" sourceFile="FormalProof.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProofLine" sourceFile="FormalProofLine.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProofLineList" sourceFile="FormalProofLineList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FormalProofList" sourceFile="FormalProofList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Formula" sourceFile="Formula.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.FunctionDefinition" sourceFile="FunctionDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Header" sourceFile="Header.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Hypothesis" sourceFile="Hypothesis.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Import" sourceFile="Import.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ImportList" sourceFile="ImportList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.InitialFunctionDefinition" sourceFile="InitialFunctionDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.InitialPredicateDefinition" sourceFile="InitialPredicateDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Latex" sourceFile="Latex.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LatexList" sourceFile="LatexList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LinkList" sourceFile="LinkList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LiteratureItem" sourceFile="LiteratureItem.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LiteratureItemList" sourceFile="LiteratureItemList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Location" sourceFile="Location.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.LocationList" sourceFile="LocationList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ModusPonens" sourceFile="ModusPonens.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Node" sourceFile="Node.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.NodeType" sourceFile="NodeType.java" interface="true" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.PredicateDefinition" sourceFile="PredicateDefinition.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Proof" sourceFile="Proof.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.ProofList" sourceFile="ProofList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Proposition" sourceFile="Proposition.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Qedeq" sourceFile="Qedeq.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Reason" sourceFile="Reason.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Rename" sourceFile="Rename.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Rule" sourceFile="Rule.java" interface="true" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Section" sourceFile="Section.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SectionList" sourceFile="SectionList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Specification" sourceFile="Specification.java" interface="true" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Subsection" sourceFile="Subsection.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubsectionList" sourceFile="SubsectionList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubsectionType" sourceFile="SubsectionType.java" interface="true" size="1" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubstFree" sourceFile="SubstFree.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubstFunc" sourceFile="SubstFunc.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.SubstPred" sourceFile="SubstPred.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Term" sourceFile="Term.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.Universal" sourceFile="Universal.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.UsedByList" sourceFile="UsedByList.java" interface="true" size="3" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.base.module.VariableList" sourceFile="VariableList.java" interface="true" size="3" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.common" total_bugs="0" total_types="20" total_size="611">
      <ClassStats class="org.qedeq.kernel.se.common.CheckLevel" sourceFile="CheckLevel.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DefaultModuleAddress" sourceFile="DefaultModuleAddress.java" interface="false" size="151" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DefaultSourceFileExceptionList" sourceFile="DefaultSourceFileExceptionList.java" interface="false" size="70" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DependencyState" sourceFile="DependencyState.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.DependencyStateDescriptions" sourceFile="DependencyStateDescriptions.java" interface="true" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ErrorCodes" sourceFile="ErrorCodes.java" interface="true" size="1" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.IllegalModuleDataException" sourceFile="IllegalModuleDataException.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LoadingState" sourceFile="LoadingState.java" interface="false" size="51" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LoadingStateDescriptions" sourceFile="LoadingStateDescriptions.java" interface="true" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LogicalModuleState" sourceFile="LogicalModuleState.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.LogicalModuleStateDescriptions" sourceFile="LogicalModuleStateDescriptions.java" interface="true" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ModuleAddress" sourceFile="ModuleAddress.java" interface="true" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ModuleContext" sourceFile="ModuleContext.java" interface="false" size="55" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.ModuleDataException" sourceFile="ModuleDataException.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.Plugin" sourceFile="Plugin.java" interface="true" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.QedeqException" sourceFile="QedeqException.java" interface="false" size="12" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.RuleKey" sourceFile="RuleKey.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.SourceFileException" sourceFile="SourceFileException.java" interface="false" size="51" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.SourceFileExceptionList" sourceFile="SourceFileExceptionList.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.common.State" sourceFile="State.java" interface="true" size="4" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.config" total_bugs="0" total_types="2" total_size="256">
      <ClassStats class="org.qedeq.kernel.se.config.ConfigAccess" sourceFile="ConfigAccess.java" interface="false" size="99" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.config.QedeqConfig" sourceFile="QedeqConfig.java" interface="false" size="157" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.dto.list" total_bugs="0" total_types="3" total_size="246">
      <ClassStats class="org.qedeq.kernel.se.dto.list.DefaultAtom" sourceFile="DefaultAtom.java" interface="false" size="41" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.list.DefaultElementList" sourceFile="DefaultElementList.java" interface="false" size="105" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.list.ElementSet" sourceFile="ElementSet.java" interface="false" size="100" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.dto.module" total_bugs="0" total_types="50" total_size="2295">
      <ClassStats class="org.qedeq.kernel.se.dto.module.AddVo" sourceFile="AddVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.AuthorListVo" sourceFile="AuthorListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.AuthorVo" sourceFile="AuthorVo.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.AxiomVo" sourceFile="AxiomVo.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChangedRuleListVo" sourceFile="ChangedRuleListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChangedRuleVo" sourceFile="ChangedRuleVo.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChapterListVo" sourceFile="ChapterListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ChapterVo" sourceFile="ChapterVo.java" interface="false" size="49" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ConclusionVo" sourceFile="ConclusionVo.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ConditionalProofVo" sourceFile="ConditionalProofVo.java" interface="false" size="71" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ExistentialVo" sourceFile="ExistentialVo.java" interface="false" size="52" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofLineListVo" sourceFile="FormalProofLineListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofLineVo" sourceFile="FormalProofLineVo.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofListVo" sourceFile="FormalProofListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormalProofVo" sourceFile="FormalProofVo.java" interface="false" size="42" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FormulaVo" sourceFile="FormulaVo.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.FunctionDefinitionVo" sourceFile="FunctionDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.HeaderVo" sourceFile="HeaderVo.java" interface="false" size="66" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.HypothesisVo" sourceFile="HypothesisVo.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ImportListVo" sourceFile="ImportListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ImportVo" sourceFile="ImportVo.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.InitialFunctionDefinitionVo" sourceFile="InitialFunctionDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.InitialPredicateDefinitionVo" sourceFile="InitialPredicateDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LatexListVo" sourceFile="LatexListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LatexVo" sourceFile="LatexVo.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LinkListVo" sourceFile="LinkListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LiteratureItemListVo" sourceFile="LiteratureItemListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LiteratureItemVo" sourceFile="LiteratureItemVo.java" interface="false" size="28" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LocationListVo" sourceFile="LocationListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.LocationVo" sourceFile="LocationVo.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ModusPonensVo" sourceFile="ModusPonensVo.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.NodeVo" sourceFile="NodeVo.java" interface="false" size="69" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.PredicateDefinitionVo" sourceFile="PredicateDefinitionVo.java" interface="false" size="63" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ProofListVo" sourceFile="ProofListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.ProofVo" sourceFile="ProofVo.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.PropositionVo" sourceFile="PropositionVo.java" interface="false" size="70" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.QedeqVo" sourceFile="QedeqVo.java" interface="false" size="40" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.RenameVo" sourceFile="RenameVo.java" interface="false" size="78" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.RuleVo" sourceFile="RuleVo.java" interface="false" size="85" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SectionListVo" sourceFile="SectionListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SectionVo" sourceFile="SectionVo.java" interface="false" size="44" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SpecificationVo" sourceFile="SpecificationVo.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubsectionListVo" sourceFile="SubsectionListVo.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubsectionVo" sourceFile="SubsectionVo.java" interface="false" size="45" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubstFreeVo" sourceFile="SubstFreeVo.java" interface="false" size="65" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubstFuncVo" sourceFile="SubstFuncVo.java" interface="false" size="65" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.SubstPredVo" sourceFile="SubstPredVo.java" interface="false" size="65" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.TermVo" sourceFile="TermVo.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.UniversalVo" sourceFile="UniversalVo.java" interface="false" size="52" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.dto.module.UsedByListVo" sourceFile="UsedByListVo.java" interface="false" size="38" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.se.visitor" total_bugs="0" total_types="8" total_size="1553">
      <ClassStats class="org.qedeq.kernel.se.visitor.AbstractModuleVisitor" sourceFile="AbstractModuleVisitor.java" interface="false" size="223" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.InterruptException" sourceFile="InterruptException.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.LatexList2Text" sourceFile="LatexList2Text.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.ListVisitor" sourceFile="ListVisitor.java" interface="true" size="5" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqNotNullTraverser" sourceFile="QedeqNotNullTraverser.java" interface="false" size="988" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqNumbers" sourceFile="QedeqNumbers.java" interface="false" size="143" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqTraverser" sourceFile="QedeqTraverser.java" interface="true" size="56" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.se.visitor.QedeqVisitor" sourceFile="QedeqVisitor.java" interface="true" size="107" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.common" total_bugs="0" total_types="1" total_size="38">
      <ClassStats class="org.qedeq.kernel.xml.common.XmlSyntaxException" sourceFile="XmlSyntaxException.java" interface="false" size="38" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.dao" total_bugs="0" total_types="4" total_size="688">
      <ClassStats class="org.qedeq.kernel.xml.dao.DaoErrors" sourceFile="DaoErrors.java" interface="true" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.dao.Qedeq2Xml" sourceFile="Qedeq2Xml.java" interface="false" size="570" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.dao.Xml2Xml" sourceFile="Xml2Xml.java" interface="false" size="46" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.dao.XmlQedeqFileDao" sourceFile="XmlQedeqFileDao.java" interface="false" size="65" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.handler.common" total_bugs="0" total_types="4" total_size="272">
      <ClassStats class="org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler" sourceFile="AbstractSimpleHandler.java" interface="false" size="39" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.common.SaxDefaultHandler" sourceFile="SaxDefaultHandler.java" interface="false" size="150" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.common.SimpleAttributes" sourceFile="SimpleAttributes.java" interface="false" size="48" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.common.SimpleHandler" sourceFile="SimpleHandler.java" interface="false" size="35" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.handler.list" total_bugs="0" total_types="2" total_size="65">
      <ClassStats class="org.qedeq.kernel.xml.handler.list.BasicHandler" sourceFile="BasicHandler.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.list.ElementHandler" sourceFile="ElementHandler.java" interface="false" size="35" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.handler.module" total_bugs="0" total_types="40" total_size="1403">
      <ClassStats class="org.qedeq.kernel.xml.handler.module.AddHandler" sourceFile="AddHandler.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.AuthorHandler" sourceFile="AuthorHandler.java" interface="false" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.AuthorListHandler" sourceFile="AuthorListHandler.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.AxiomHandler" sourceFile="AxiomHandler.java" interface="false" size="32" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ChangedRuleHandler" sourceFile="ChangedRuleHandler.java" interface="false" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ChapterHandler" sourceFile="ChapterHandler.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ConclusionHandler" sourceFile="ConclusionHandler.java" interface="false" size="26" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ConditionalProofHandler" sourceFile="ConditionalProofHandler.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ExistentialHandler" sourceFile="ExistentialHandler.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.FormalProofHandler" sourceFile="FormalProofHandler.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.FormalProofLineListHandler" sourceFile="FormalProofLineListHandler.java" interface="false" size="87" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.FormulaHandler" sourceFile="FormulaHandler.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler" sourceFile="FunctionDefinitionHandler.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.HeaderHandler" sourceFile="HeaderHandler.java" interface="false" size="56" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.HypothesisHandler" sourceFile="HypothesisHandler.java" interface="false" size="26" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ImportListHandler" sourceFile="ImportListHandler.java" interface="false" size="29" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.InitialFunctionDefinitionHandler" sourceFile="InitialFunctionDefinitionHandler.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.InitialPredicateDefinitionHandler" sourceFile="InitialPredicateDefinitionHandler.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.LatexHandler" sourceFile="LatexHandler.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.LatexListHandler" sourceFile="LatexListHandler.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.LiteratureItemHandler" sourceFile="LiteratureItemHandler.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler" sourceFile="LiteratureItemListHandler.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ModusPonensHandler" sourceFile="ModusPonensHandler.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.NodeHandler" sourceFile="NodeHandler.java" interface="false" size="81" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler" sourceFile="PredicateDefinitionHandler.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.ProofHandler" sourceFile="ProofHandler.java" interface="false" size="25" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.PropositionHandler" sourceFile="PropositionHandler.java" interface="false" size="43" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.QedeqHandler" sourceFile="QedeqHandler.java" interface="false" size="37" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.RenameHandler" sourceFile="RenameHandler.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.RuleHandler" sourceFile="RuleHandler.java" interface="false" size="48" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SectionHandler" sourceFile="SectionHandler.java" interface="false" size="41" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SpecificationHandler" sourceFile="SpecificationHandler.java" interface="false" size="33" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SubsectionHandler" sourceFile="SubsectionHandler.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SubsectionListHandler" sourceFile="SubsectionListHandler.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SubstFreevarHandler" sourceFile="SubstFreevarHandler.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SubstFuncvarHandler" sourceFile="SubstFuncvarHandler.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.SubstPredvarHandler" sourceFile="SubstPredvarHandler.java" interface="false" size="38" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.TermHandler" sourceFile="TermHandler.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.UniversalHandler" sourceFile="UniversalHandler.java" interface="false" size="30" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.module.UsedByListHandler" sourceFile="UsedByListHandler.java" interface="false" size="24" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.handler.parser" total_bugs="0" total_types="3" total_size="130">
      <ClassStats class="org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility" sourceFile="LoadXmlOperatorListUtility.java" interface="false" size="42" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.parser.ParserErrors" sourceFile="ParserErrors.java" interface="true" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.handler.parser.ParserHandler" sourceFile="ParserHandler.java" interface="false" size="79" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.mapper" total_bugs="0" total_types="3" total_size="779">
      <ClassStats class="org.qedeq.kernel.xml.mapper.Context2SimpleXPath" sourceFile="Context2SimpleXPath.java" interface="false" size="771" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.mapper.LocationFoundException" sourceFile="LocationFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.mapper.LocationNotFoundException" sourceFile="LocationNotFoundException.java" interface="false" size="4" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.parser" total_bugs="0" total_types="5" total_size="243">
      <ClassStats class="org.qedeq.kernel.xml.parser.BasicParser" sourceFile="BasicParser.java" interface="false" size="59" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.parser.BasicParser$1" sourceFile="BasicParser.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.parser.SaxEntityResolver" sourceFile="SaxEntityResolver.java" interface="false" size="36" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.parser.SaxErrorHandler" sourceFile="SaxErrorHandler.java" interface="false" size="35" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.parser.SaxParser" sourceFile="SaxParser.java" interface="false" size="104" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.kernel.xml.tracker" total_bugs="0" total_types="4" total_size="458">
      <ClassStats class="org.qedeq.kernel.xml.tracker.LocationFoundException" sourceFile="LocationFoundException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.tracker.SimpleXPath" sourceFile="SimpleXPath.java" interface="false" size="164" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.tracker.XPathLocationFinder" sourceFile="XPathLocationFinder.java" interface="false" size="80" bugs="0"/>
      <ClassStats class="org.qedeq.kernel.xml.tracker.XPathLocationParser" sourceFile="XPathLocationParser.java" interface="false" size="210" bugs="0"/>
    </PackageStats>
    <FindBugsProfile>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteCheckReturnValueAnnotations" totalMilliseconds="12" invocations="609" avgMicrosecondsPerInvocation="19" maxMicrosecondsPerInvocation="841" standardDeviationMircosecondsPerInvocation="47"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindTwoLockWait" totalMilliseconds="12" invocations="451" avgMicrosecondsPerInvocation="27" maxMicrosecondsPerInvocation="1498" standardDeviationMircosecondsPerInvocation="83"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteNonNullAnnotations" totalMilliseconds="12" invocations="609" avgMicrosecondsPerInvocation="20" maxMicrosecondsPerInvocation="369" standardDeviationMircosecondsPerInvocation="37"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.Methods" totalMilliseconds="12" invocations="609" avgMicrosecondsPerInvocation="21" maxMicrosecondsPerInvocation="779" standardDeviationMircosecondsPerInvocation="49"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindMismatchedWaitOrNotify" totalMilliseconds="12" invocations="451" avgMicrosecondsPerInvocation="28" maxMicrosecondsPerInvocation="748" standardDeviationMircosecondsPerInvocation="62"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.AssertionMethodsFactory" totalMilliseconds="12" invocations="332" avgMicrosecondsPerInvocation="39" maxMicrosecondsPerInvocation="596" standardDeviationMircosecondsPerInvocation="63"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteJCIPAnnotation" totalMilliseconds="13" invocations="609" avgMicrosecondsPerInvocation="21" maxMicrosecondsPerInvocation="498" standardDeviationMircosecondsPerInvocation="42"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StartInConstructor" totalMilliseconds="13" invocations="451" avgMicrosecondsPerInvocation="29" maxMicrosecondsPerInvocation="2824" standardDeviationMircosecondsPerInvocation="136"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteCheckReturnValue" totalMilliseconds="14" invocations="609" avgMicrosecondsPerInvocation="23" maxMicrosecondsPerInvocation="1437" standardDeviationMircosecondsPerInvocation="78"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DroppedException" totalMilliseconds="14" invocations="451" avgMicrosecondsPerInvocation="31" maxMicrosecondsPerInvocation="5472" standardDeviationMircosecondsPerInvocation="259"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.DominatorsAnalysisFactory" totalMilliseconds="15" invocations="80" avgMicrosecondsPerInvocation="193" maxMicrosecondsPerInvocation="2131" standardDeviationMircosecondsPerInvocation="338"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteAnnotationRetention" totalMilliseconds="15" invocations="609" avgMicrosecondsPerInvocation="26" maxMicrosecondsPerInvocation="1571" standardDeviationMircosecondsPerInvocation="79"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LockDataflowFactory" totalMilliseconds="15" invocations="44" avgMicrosecondsPerInvocation="363" maxMicrosecondsPerInvocation="2029" standardDeviationMircosecondsPerInvocation="419"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ExceptionSetFactoryFactory" totalMilliseconds="16" invocations="3610" avgMicrosecondsPerInvocation="4" maxMicrosecondsPerInvocation="10092" standardDeviationMircosecondsPerInvocation="168"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CloneIdiom" totalMilliseconds="16" invocations="451" avgMicrosecondsPerInvocation="36" maxMicrosecondsPerInvocation="2531" standardDeviationMircosecondsPerInvocation="139"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DontUseEnum" totalMilliseconds="18" invocations="451" avgMicrosecondsPerInvocation="40" maxMicrosecondsPerInvocation="6761" standardDeviationMircosecondsPerInvocation="331"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteSuppressedWarnings" totalMilliseconds="18" invocations="609" avgMicrosecondsPerInvocation="30" maxMicrosecondsPerInvocation="1243" standardDeviationMircosecondsPerInvocation="80"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InconsistentAnnotations" totalMilliseconds="18" invocations="451" avgMicrosecondsPerInvocation="41" maxMicrosecondsPerInvocation="6824" standardDeviationMircosecondsPerInvocation="333"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.asm.ClassReaderAnalysisEngine" totalMilliseconds="19" invocations="1171" avgMicrosecondsPerInvocation="16" maxMicrosecondsPerInvocation="7634" standardDeviationMircosecondsPerInvocation="248"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LockCheckerFactory" totalMilliseconds="19" invocations="3591" avgMicrosecondsPerInvocation="5" maxMicrosecondsPerInvocation="1525" standardDeviationMircosecondsPerInvocation="33"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBugsSummaryStats" totalMilliseconds="24" invocations="609" avgMicrosecondsPerInvocation="39" maxMicrosecondsPerInvocation="2725" standardDeviationMircosecondsPerInvocation="154"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InitializationChain" totalMilliseconds="25" invocations="451" avgMicrosecondsPerInvocation="56" maxMicrosecondsPerInvocation="8504" standardDeviationMircosecondsPerInvocation="423"/>
      <ClassProfile name="edu.umd.cs.findbugs.NonReportingDetectorToDetector2Adapter" totalMilliseconds="27" invocations="8819" avgMicrosecondsPerInvocation="3" maxMicrosecondsPerInvocation="511" standardDeviationMircosecondsPerInvocation="6"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ObligationDataflowFactory" totalMilliseconds="28" invocations="428" avgMicrosecondsPerInvocation="66" maxMicrosecondsPerInvocation="4548" standardDeviationMircosecondsPerInvocation="241"/>
      <ClassProfile name="edu.umd.cs.findbugs.util.TopologicalSort" totalMilliseconds="29" invocations="452" avgMicrosecondsPerInvocation="65" maxMicrosecondsPerInvocation="9061" standardDeviationMircosecondsPerInvocation="439"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BooleanReturnNull" totalMilliseconds="33" invocations="451" avgMicrosecondsPerInvocation="73" maxMicrosecondsPerInvocation="1026" standardDeviationMircosecondsPerInvocation="128"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantPoolGenFactory" totalMilliseconds="33" invocations="451" avgMicrosecondsPerInvocation="75" maxMicrosecondsPerInvocation="4220" standardDeviationMircosecondsPerInvocation="266"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonSerializableValuePassedToWriteObject" totalMilliseconds="37" invocations="451" avgMicrosecondsPerInvocation="82" maxMicrosecondsPerInvocation="1649" standardDeviationMircosecondsPerInvocation="183"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.QuestionableBooleanAssignment" totalMilliseconds="37" invocations="451" avgMicrosecondsPerInvocation="83" maxMicrosecondsPerInvocation="2221" standardDeviationMircosecondsPerInvocation="208"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EmptyZipFileEntry" totalMilliseconds="38" invocations="451" avgMicrosecondsPerInvocation="84" maxMicrosecondsPerInvocation="1868" standardDeviationMircosecondsPerInvocation="209"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InstantiateStaticClass" totalMilliseconds="38" invocations="451" avgMicrosecondsPerInvocation="86" maxMicrosecondsPerInvocation="2001" standardDeviationMircosecondsPerInvocation="213"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.IncompatMask" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="87" maxMicrosecondsPerInvocation="1891" standardDeviationMircosecondsPerInvocation="210"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnnecessaryMath" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="87" maxMicrosecondsPerInvocation="1966" standardDeviationMircosecondsPerInvocation="205"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.VarArgsProblems" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="87" maxMicrosecondsPerInvocation="2095" standardDeviationMircosecondsPerInvocation="214"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SuspiciousThreadInterrupted" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="87" maxMicrosecondsPerInvocation="1985" standardDeviationMircosecondsPerInvocation="209"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonSerializableStoreIntoSession" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="87" maxMicrosecondsPerInvocation="2530" standardDeviationMircosecondsPerInvocation="215"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MutableLock" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="88" maxMicrosecondsPerInvocation="1904" standardDeviationMircosecondsPerInvocation="206"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.VolatileUsage" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="88" maxMicrosecondsPerInvocation="1903" standardDeviationMircosecondsPerInvocation="211"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNakedNotify" totalMilliseconds="39" invocations="451" avgMicrosecondsPerInvocation="88" maxMicrosecondsPerInvocation="1879" standardDeviationMircosecondsPerInvocation="207"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadUseOfReturnValue" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="88" maxMicrosecondsPerInvocation="3321" standardDeviationMircosecondsPerInvocation="238"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadlyOverriddenAdapter" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="89" maxMicrosecondsPerInvocation="1861" standardDeviationMircosecondsPerInvocation="209"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUselessControlFlow" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="89" maxMicrosecondsPerInvocation="1998" standardDeviationMircosecondsPerInvocation="217"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindLocalSelfAssignment2" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="89" maxMicrosecondsPerInvocation="2109" standardDeviationMircosecondsPerInvocation="218"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindEmptySynchronizedBlock" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="90" maxMicrosecondsPerInvocation="1916" standardDeviationMircosecondsPerInvocation="220"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.IDivResultCastToDouble" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="90" maxMicrosecondsPerInvocation="1995" standardDeviationMircosecondsPerInvocation="214"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRunInvocations" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="90" maxMicrosecondsPerInvocation="2024" standardDeviationMircosecondsPerInvocation="225"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MutableStaticFields" totalMilliseconds="40" invocations="451" avgMicrosecondsPerInvocation="90" maxMicrosecondsPerInvocation="1870" standardDeviationMircosecondsPerInvocation="213"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.impl.ZipCodeBaseFactory" totalMilliseconds="42" invocations="25" avgMicrosecondsPerInvocation="1716" maxMicrosecondsPerInvocation="36587" standardDeviationMircosecondsPerInvocation="7128"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFinalizeInvocations" totalMilliseconds="43" invocations="451" avgMicrosecondsPerInvocation="96" maxMicrosecondsPerInvocation="3176" standardDeviationMircosecondsPerInvocation="261"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.WrongMapIterator" totalMilliseconds="43" invocations="451" avgMicrosecondsPerInvocation="96" maxMicrosecondsPerInvocation="1984" standardDeviationMircosecondsPerInvocation="233"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InheritanceUnsafeGetResource" totalMilliseconds="44" invocations="451" avgMicrosecondsPerInvocation="99" maxMicrosecondsPerInvocation="3060" standardDeviationMircosecondsPerInvocation="274"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.WaitInLoop" totalMilliseconds="44" invocations="451" avgMicrosecondsPerInvocation="99" maxMicrosecondsPerInvocation="3539" standardDeviationMircosecondsPerInvocation="275"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUninitializedGet" totalMilliseconds="46" invocations="451" avgMicrosecondsPerInvocation="102" maxMicrosecondsPerInvocation="2024" standardDeviationMircosecondsPerInvocation="217"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodFactory" totalMilliseconds="47" invocations="894" avgMicrosecondsPerInvocation="52" maxMicrosecondsPerInvocation="14966" standardDeviationMircosecondsPerInvocation="597"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindMaskedFields" totalMilliseconds="47" invocations="451" avgMicrosecondsPerInvocation="106" maxMicrosecondsPerInvocation="5094" standardDeviationMircosecondsPerInvocation="324"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation" totalMilliseconds="48" invocations="451" avgMicrosecondsPerInvocation="107" maxMicrosecondsPerInvocation="27519" standardDeviationMircosecondsPerInvocation="1306"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SuperfluousInstanceOf" totalMilliseconds="50" invocations="451" avgMicrosecondsPerInvocation="112" maxMicrosecondsPerInvocation="11814" standardDeviationMircosecondsPerInvocation="584"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LazyInit" totalMilliseconds="51" invocations="451" avgMicrosecondsPerInvocation="113" maxMicrosecondsPerInvocation="6570" standardDeviationMircosecondsPerInvocation="541"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ClassContextClassAnalysisEngine" totalMilliseconds="51" invocations="2362" avgMicrosecondsPerInvocation="21" maxMicrosecondsPerInvocation="13617" standardDeviationMircosecondsPerInvocation="402"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnsyncGet" totalMilliseconds="51" invocations="451" avgMicrosecondsPerInvocation="114" maxMicrosecondsPerInvocation="1875" standardDeviationMircosecondsPerInvocation="223"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InefficientToArray" totalMilliseconds="53" invocations="451" avgMicrosecondsPerInvocation="118" maxMicrosecondsPerInvocation="14104" standardDeviationMircosecondsPerInvocation="690"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSpinLoop" totalMilliseconds="54" invocations="451" avgMicrosecondsPerInvocation="120" maxMicrosecondsPerInvocation="12234" standardDeviationMircosecondsPerInvocation="609"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StringConcatenation" totalMilliseconds="58" invocations="451" avgMicrosecondsPerInvocation="129" maxMicrosecondsPerInvocation="17857" standardDeviationMircosecondsPerInvocation="863"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UncallableMethodOfAnonymousClass" totalMilliseconds="58" invocations="451" avgMicrosecondsPerInvocation="129" maxMicrosecondsPerInvocation="10661" standardDeviationMircosecondsPerInvocation="579"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison2" totalMilliseconds="58" invocations="451" avgMicrosecondsPerInvocation="130" maxMicrosecondsPerInvocation="10490" standardDeviationMircosecondsPerInvocation="547"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.XMLFactoryBypass" totalMilliseconds="58" invocations="451" avgMicrosecondsPerInvocation="130" maxMicrosecondsPerInvocation="9823" standardDeviationMircosecondsPerInvocation="584"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.HugeSharedStringConstants" totalMilliseconds="61" invocations="451" avgMicrosecondsPerInvocation="135" maxMicrosecondsPerInvocation="23067" standardDeviationMircosecondsPerInvocation="1106"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDoubleCheck" totalMilliseconds="62" invocations="451" avgMicrosecondsPerInvocation="137" maxMicrosecondsPerInvocation="10167" standardDeviationMircosecondsPerInvocation="560"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUncalledPrivateMethods" totalMilliseconds="63" invocations="451" avgMicrosecondsPerInvocation="141" maxMicrosecondsPerInvocation="3740" standardDeviationMircosecondsPerInvocation="397"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteUnconditionalParamDerefs" totalMilliseconds="65" invocations="451" avgMicrosecondsPerInvocation="144" maxMicrosecondsPerInvocation="4611" standardDeviationMircosecondsPerInvocation="371"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.ReadReturnShouldBeChecked" totalMilliseconds="65" invocations="451" avgMicrosecondsPerInvocation="144" maxMicrosecondsPerInvocation="20178" standardDeviationMircosecondsPerInvocation="976"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DoInsideDoPrivileged" totalMilliseconds="66" invocations="451" avgMicrosecondsPerInvocation="147" maxMicrosecondsPerInvocation="25249" standardDeviationMircosecondsPerInvocation="1198"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StaticCalendarDetector" totalMilliseconds="68" invocations="451" avgMicrosecondsPerInvocation="151" maxMicrosecondsPerInvocation="35987" standardDeviationMircosecondsPerInvocation="1693"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFieldSelfAssignment" totalMilliseconds="71" invocations="451" avgMicrosecondsPerInvocation="158" maxMicrosecondsPerInvocation="31894" standardDeviationMircosecondsPerInvocation="1510"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeAndNullCheckField" totalMilliseconds="75" invocations="451" avgMicrosecondsPerInvocation="168" maxMicrosecondsPerInvocation="10091" standardDeviationMircosecondsPerInvocation="709"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethodInvocations" totalMilliseconds="76" invocations="451" avgMicrosecondsPerInvocation="168" maxMicrosecondsPerInvocation="2731" standardDeviationMircosecondsPerInvocation="364"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReverseDepthFirstSearchFactory" totalMilliseconds="77" invocations="3610" avgMicrosecondsPerInvocation="21" maxMicrosecondsPerInvocation="30437" standardDeviationMircosecondsPerInvocation="507"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnconditionalWait" totalMilliseconds="77" invocations="451" avgMicrosecondsPerInvocation="172" maxMicrosecondsPerInvocation="24294" standardDeviationMircosecondsPerInvocation="1349"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LoadedFieldSetFactory" totalMilliseconds="79" invocations="3610" avgMicrosecondsPerInvocation="22" maxMicrosecondsPerInvocation="21389" standardDeviationMircosecondsPerInvocation="474"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SerializableIdiom" totalMilliseconds="80" invocations="451" avgMicrosecondsPerInvocation="178" maxMicrosecondsPerInvocation="8165" standardDeviationMircosecondsPerInvocation="669"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.ReflectiveClasses" totalMilliseconds="89" invocations="609" avgMicrosecondsPerInvocation="146" maxMicrosecondsPerInvocation="20244" standardDeviationMircosecondsPerInvocation="857"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.DepthFirstSearchFactory" totalMilliseconds="91" invocations="4323" avgMicrosecondsPerInvocation="21" maxMicrosecondsPerInvocation="34462" standardDeviationMircosecondsPerInvocation="525"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EqualsOperandShouldHaveClassCompatibleWithThis" totalMilliseconds="93" invocations="609" avgMicrosecondsPerInvocation="152" maxMicrosecondsPerInvocation="27399" standardDeviationMircosecondsPerInvocation="1131"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase" totalMilliseconds="96" invocations="609" avgMicrosecondsPerInvocation="158" maxMicrosecondsPerInvocation="12517" standardDeviationMircosecondsPerInvocation="687"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadCast2" totalMilliseconds="109" invocations="451" avgMicrosecondsPerInvocation="243" maxMicrosecondsPerInvocation="20238" standardDeviationMircosecondsPerInvocation="1489"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref" totalMilliseconds="109" invocations="451" avgMicrosecondsPerInvocation="243" maxMicrosecondsPerInvocation="4491" standardDeviationMircosecondsPerInvocation="485"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CalledMethods" totalMilliseconds="114" invocations="609" avgMicrosecondsPerInvocation="187" maxMicrosecondsPerInvocation="5111" standardDeviationMircosecondsPerInvocation="477"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindReturnRef" totalMilliseconds="117" invocations="451" avgMicrosecondsPerInvocation="260" maxMicrosecondsPerInvocation="6658" standardDeviationMircosecondsPerInvocation="625"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSqlInjection" totalMilliseconds="127" invocations="451" avgMicrosecondsPerInvocation="283" maxMicrosecondsPerInvocation="17656" standardDeviationMircosecondsPerInvocation="1134"/>
      <ClassProfile name="edu.umd.cs.findbugs.DetectorToDetector2Adapter" totalMilliseconds="130" invocations="48866" avgMicrosecondsPerInvocation="2" maxMicrosecondsPerInvocation="2284" standardDeviationMircosecondsPerInvocation="10"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DuplicateBranches" totalMilliseconds="136" invocations="451" avgMicrosecondsPerInvocation="303" maxMicrosecondsPerInvocation="17213" standardDeviationMircosecondsPerInvocation="1247"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizeOnClassLiteralNotGetClass" totalMilliseconds="137" invocations="451" avgMicrosecondsPerInvocation="305" maxMicrosecondsPerInvocation="36105" standardDeviationMircosecondsPerInvocation="1800"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.AppendingToAnObjectOutputStream" totalMilliseconds="153" invocations="451" avgMicrosecondsPerInvocation="339" maxMicrosecondsPerInvocation="8011" standardDeviationMircosecondsPerInvocation="829"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizingOnContentsOfFieldToProtectField" totalMilliseconds="157" invocations="451" avgMicrosecondsPerInvocation="348" maxMicrosecondsPerInvocation="7553" standardDeviationMircosecondsPerInvocation="858"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindBadForLoop" totalMilliseconds="157" invocations="451" avgMicrosecondsPerInvocation="349" maxMicrosecondsPerInvocation="7521" standardDeviationMircosecondsPerInvocation="877"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadResultSetAccess" totalMilliseconds="157" invocations="451" avgMicrosecondsPerInvocation="350" maxMicrosecondsPerInvocation="7611" standardDeviationMircosecondsPerInvocation="840"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteRecursiveLoop" totalMilliseconds="159" invocations="451" avgMicrosecondsPerInvocation="353" maxMicrosecondsPerInvocation="7500" standardDeviationMircosecondsPerInvocation="850"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindOpenStream" totalMilliseconds="161" invocations="451" avgMicrosecondsPerInvocation="357" maxMicrosecondsPerInvocation="38449" standardDeviationMircosecondsPerInvocation="2719"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison" totalMilliseconds="162" invocations="451" avgMicrosecondsPerInvocation="360" maxMicrosecondsPerInvocation="7313" standardDeviationMircosecondsPerInvocation="833"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BadSyntaxForRegularExpression" totalMilliseconds="163" invocations="451" avgMicrosecondsPerInvocation="362" maxMicrosecondsPerInvocation="8253" standardDeviationMircosecondsPerInvocation="927"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SynchronizationOnSharedBuiltinConstant" totalMilliseconds="164" invocations="451" avgMicrosecondsPerInvocation="364" maxMicrosecondsPerInvocation="9415" standardDeviationMircosecondsPerInvocation="889"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.StreamResourceTracker" totalMilliseconds="165" invocations="156" avgMicrosecondsPerInvocation="1062" maxMicrosecondsPerInvocation="48793" standardDeviationMircosecondsPerInvocation="3914"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CrossSiteScripting" totalMilliseconds="168" invocations="451" avgMicrosecondsPerInvocation="372" maxMicrosecondsPerInvocation="10797" standardDeviationMircosecondsPerInvocation="977"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNonShortCircuit" totalMilliseconds="174" invocations="451" avgMicrosecondsPerInvocation="386" maxMicrosecondsPerInvocation="10486" standardDeviationMircosecondsPerInvocation="1011"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical" totalMilliseconds="176" invocations="609" avgMicrosecondsPerInvocation="290" maxMicrosecondsPerInvocation="27975" standardDeviationMircosecondsPerInvocation="1382"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindFloatEquality" totalMilliseconds="186" invocations="451" avgMicrosecondsPerInvocation="413" maxMicrosecondsPerInvocation="21962" standardDeviationMircosecondsPerInvocation="1390"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDerefsInvolvingNonShortCircuitEvaluation" totalMilliseconds="188" invocations="451" avgMicrosecondsPerInvocation="418" maxMicrosecondsPerInvocation="25510" standardDeviationMircosecondsPerInvocation="1538"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.JavaClassAnalysisEngine" totalMilliseconds="195" invocations="682" avgMicrosecondsPerInvocation="286" maxMicrosecondsPerInvocation="54022" standardDeviationMircosecondsPerInvocation="2453"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.SwitchFallthrough" totalMilliseconds="198" invocations="451" avgMicrosecondsPerInvocation="439" maxMicrosecondsPerInvocation="10016" standardDeviationMircosecondsPerInvocation="1066"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindHEmismatch" totalMilliseconds="207" invocations="451" avgMicrosecondsPerInvocation="460" maxMicrosecondsPerInvocation="25765" standardDeviationMircosecondsPerInvocation="1559"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindSelfComparison" totalMilliseconds="208" invocations="451" avgMicrosecondsPerInvocation="462" maxMicrosecondsPerInvocation="11717" standardDeviationMircosecondsPerInvocation="1245"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.MethodReturnCheck" totalMilliseconds="224" invocations="451" avgMicrosecondsPerInvocation="496" maxMicrosecondsPerInvocation="29910" standardDeviationMircosecondsPerInvocation="1894"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.InfiniteLoop" totalMilliseconds="225" invocations="451" avgMicrosecondsPerInvocation="500" maxMicrosecondsPerInvocation="39085" standardDeviationMircosecondsPerInvocation="2069"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassInfoAnalysisEngine" totalMilliseconds="234" invocations="1265" avgMicrosecondsPerInvocation="184" maxMicrosecondsPerInvocation="30629" standardDeviationMircosecondsPerInvocation="1008"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase" totalMilliseconds="268" invocations="72812" avgMicrosecondsPerInvocation="3" maxMicrosecondsPerInvocation="11115" standardDeviationMircosecondsPerInvocation="61"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.DumbMethods" totalMilliseconds="269" invocations="451" avgMicrosecondsPerInvocation="597" maxMicrosecondsPerInvocation="25384" standardDeviationMircosecondsPerInvocation="2005"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindInconsistentSync2" totalMilliseconds="288" invocations="451" avgMicrosecondsPerInvocation="640" maxMicrosecondsPerInvocation="37970" standardDeviationMircosecondsPerInvocation="2490"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ReturnPathTypeDataflowFactory" totalMilliseconds="335" invocations="1587" avgMicrosecondsPerInvocation="211" maxMicrosecondsPerInvocation="103532" standardDeviationMircosecondsPerInvocation="2646"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RuntimeExceptionCapture" totalMilliseconds="339" invocations="451" avgMicrosecondsPerInvocation="751" maxMicrosecondsPerInvocation="121974" standardDeviationMircosecondsPerInvocation="5850"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.obl.ObligationAnalysis" totalMilliseconds="368" invocations="428" avgMicrosecondsPerInvocation="860" maxMicrosecondsPerInvocation="161907" standardDeviationMircosecondsPerInvocation="7846"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteNonnullReturnValues" totalMilliseconds="369" invocations="451" avgMicrosecondsPerInvocation="818" maxMicrosecondsPerInvocation="141579" standardDeviationMircosecondsPerInvocation="7133"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref$CheckCallSitesAndReturnInstructions" totalMilliseconds="377" invocations="3610" avgMicrosecondsPerInvocation="104" maxMicrosecondsPerInvocation="45504" standardDeviationMircosecondsPerInvocation="794"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindPuzzlers" totalMilliseconds="383" invocations="451" avgMicrosecondsPerInvocation="851" maxMicrosecondsPerInvocation="181950" standardDeviationMircosecondsPerInvocation="8653"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CallToUnsupportedMethod" totalMilliseconds="414" invocations="451" avgMicrosecondsPerInvocation="918" maxMicrosecondsPerInvocation="191630" standardDeviationMircosecondsPerInvocation="9280"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FieldItemSummary" totalMilliseconds="427" invocations="609" avgMicrosecondsPerInvocation="701" maxMicrosecondsPerInvocation="40573" standardDeviationMircosecondsPerInvocation="2540"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.LiveLocalStoreDataflowFactory" totalMilliseconds="432" invocations="3610" avgMicrosecondsPerInvocation="119" maxMicrosecondsPerInvocation="18543" standardDeviationMircosecondsPerInvocation="402"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindDeadLocalStores" totalMilliseconds="436" invocations="451" avgMicrosecondsPerInvocation="968" maxMicrosecondsPerInvocation="208535" standardDeviationMircosecondsPerInvocation="10270"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindUnrelatedTypesInGenericContainer" totalMilliseconds="447" invocations="451" avgMicrosecondsPerInvocation="992" maxMicrosecondsPerInvocation="361234" standardDeviationMircosecondsPerInvocation="16988"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteDirectlyRelevantTypeQualifiers" totalMilliseconds="454" invocations="609" avgMicrosecondsPerInvocation="746" maxMicrosecondsPerInvocation="36808" standardDeviationMircosecondsPerInvocation="2297"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.Naming" totalMilliseconds="504" invocations="451" avgMicrosecondsPerInvocation="1119" maxMicrosecondsPerInvocation="350686" standardDeviationMircosecondsPerInvocation="16730"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.URLProblems" totalMilliseconds="531" invocations="451" avgMicrosecondsPerInvocation="1178" maxMicrosecondsPerInvocation="260506" standardDeviationMircosecondsPerInvocation="12327"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LoadOfKnownNullValue" totalMilliseconds="539" invocations="451" avgMicrosecondsPerInvocation="1196" maxMicrosecondsPerInvocation="276769" standardDeviationMircosecondsPerInvocation="13125"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.RepeatedConditionals" totalMilliseconds="540" invocations="451" avgMicrosecondsPerInvocation="1198" maxMicrosecondsPerInvocation="324718" standardDeviationMircosecondsPerInvocation="15370"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassDataAnalysisEngine" totalMilliseconds="681" invocations="1267" avgMicrosecondsPerInvocation="537" maxMicrosecondsPerInvocation="55716" standardDeviationMircosecondsPerInvocation="2987"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantDataflowFactory" totalMilliseconds="958" invocations="3610" avgMicrosecondsPerInvocation="265" maxMicrosecondsPerInvocation="50932" standardDeviationMircosecondsPerInvocation="1326"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FormatStringChecker" totalMilliseconds="974" invocations="451" avgMicrosecondsPerInvocation="2160" maxMicrosecondsPerInvocation="802644" standardDeviationMircosecondsPerInvocation="37748"/>
      <ClassProfile name="edu.umd.cs.findbugs.OpcodeStack$JumpInfoFactory" totalMilliseconds="1119" invocations="10378" avgMicrosecondsPerInvocation="107" maxMicrosecondsPerInvocation="81552" standardDeviationMircosecondsPerInvocation="1511"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.UnreadFields" totalMilliseconds="1249" invocations="451" avgMicrosecondsPerInvocation="2769" maxMicrosecondsPerInvocation="790237" standardDeviationMircosecondsPerInvocation="37389"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory" totalMilliseconds="1899" invocations="3611" avgMicrosecondsPerInvocation="526" maxMicrosecondsPerInvocation="693273" standardDeviationMircosecondsPerInvocation="12244"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison$SpecialTypeAnalysis" totalMilliseconds="2187" invocations="2625" avgMicrosecondsPerInvocation="833" maxMicrosecondsPerInvocation="411619" standardDeviationMircosecondsPerInvocation="11303"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodGenFactory" totalMilliseconds="2521" invocations="4206" avgMicrosecondsPerInvocation="599" maxMicrosecondsPerInvocation="1361434" standardDeviationMircosecondsPerInvocation="22065"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory" totalMilliseconds="2765" invocations="3701" avgMicrosecondsPerInvocation="747" maxMicrosecondsPerInvocation="294200" standardDeviationMircosecondsPerInvocation="7135"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory" totalMilliseconds="4577" invocations="3610" avgMicrosecondsPerInvocation="1267" maxMicrosecondsPerInvocation="636008" standardDeviationMircosecondsPerInvocation="17279"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder" totalMilliseconds="5730" invocations="3610" avgMicrosecondsPerInvocation="1587" maxMicrosecondsPerInvocation="604435" standardDeviationMircosecondsPerInvocation="19061"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory" totalMilliseconds="6183" invocations="4404" avgMicrosecondsPerInvocation="1404" maxMicrosecondsPerInvocation="589331" standardDeviationMircosecondsPerInvocation="17529"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory" totalMilliseconds="8914" invocations="3610" avgMicrosecondsPerInvocation="2469" maxMicrosecondsPerInvocation="894714" standardDeviationMircosecondsPerInvocation="28636"/>
    </FindBugsProfile>
  </FindBugsSummary>
  <ClassFeatures></ClassFeatures>
  <History></History>
</BugCollection>
