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

<BugCollection version="2.0.2" sequence="0" timestamp="1369403522838" analysisTimestamp="1369403522858" release="">
  <Project projectName="">
    <Jar>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/target/classes</Jar>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/junit.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/xercesImpl.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/xml-apis.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/xalan.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-io-1.4.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-lang-2.4.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-logging-1.1.1.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-httpclient-3.1.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/commons-codec-1.3.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/log4j-1.2.14.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/forms-1.1.0.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/looks-2.1.4.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/clover-3.1.10.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/jh-2.0.5.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/team/svn/QedeqLib/jdepend-2.9.jar</AuxClasspathEntry>
    <AuxClasspathEntry>/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/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_gui_se/src/main/java</SrcDir>
  </Project>
  <BugInstance type="DM_DEFAULT_ENCODING" priority="1" abbrev="Dm" category="I18N" instanceHash="9f3e2c8479010eb042ab63438af0b6ef" instanceOccurrenceNum="0" instanceOccurrenceMax="0" rank="19">
    <ShortMessage>Reliance on default encoding</ShortMessage>
    <LongMessage>Found reliance on default encoding in new org.qedeq.gui.se.main.QedeqMainFrame(GuiOptions): new java.io.PrintStream(OutputStream, boolean)</LongMessage>
    <Class classname="org.qedeq.gui.se.main.QedeqMainFrame" primary="true">
      <SourceLine classname="org.qedeq.gui.se.main.QedeqMainFrame" start="64" end="270" sourcefile="QedeqMainFrame.java" sourcepath="org/qedeq/gui/se/main/QedeqMainFrame.java" relSourcepath="org/qedeq/gui/se/main/QedeqMainFrame.java">
        <Message>At QedeqMainFrame.java:[lines 64-270]</Message>
      </SourceLine>
      <Message>In class org.qedeq.gui.se.main.QedeqMainFrame</Message>
    </Class>
    <Method classname="org.qedeq.gui.se.main.QedeqMainFrame" name="&lt;init&gt;" signature="(Lorg/qedeq/gui/se/main/GuiOptions;)V" isStatic="false" primary="true">
      <SourceLine classname="org.qedeq.gui.se.main.QedeqMainFrame" start="74" end="110" startBytecode="0" endBytecode="364" sourcefile="QedeqMainFrame.java" sourcepath="org/qedeq/gui/se/main/QedeqMainFrame.java" relSourcepath="org/qedeq/gui/se/main/QedeqMainFrame.java"/>
      <Message>In method new org.qedeq.gui.se.main.QedeqMainFrame(GuiOptions)</Message>
    </Method>
    <Method classname="java.io.PrintStream" name="&lt;init&gt;" signature="(Ljava/io/OutputStream;Z)V" isStatic="false" role="METHOD_CALLED">
      <SourceLine classname="java.io.PrintStream" start="99" end="101" startBytecode="0" endBytecode="50" sourcefile="PrintStream.java" sourcepath="java/io/PrintStream.java"/>
      <Message>Called method new java.io.PrintStream(OutputStream, boolean)</Message>
    </Method>
    <SourceLine classname="org.qedeq.gui.se.main.QedeqMainFrame" primary="true" start="82" end="82" startBytecode="54" endBytecode="54" sourcefile="QedeqMainFrame.java" sourcepath="org/qedeq/gui/se/main/QedeqMainFrame.java" relSourcepath="org/qedeq/gui/se/main/QedeqMainFrame.java">
      <Message>At QedeqMainFrame.java:[line 82]</Message>
    </SourceLine>
  </BugInstance>
  <BugCategory category="I18N">
    <Description>Internationalization</Description>
  </BugCategory>
  <BugPattern type="DM_DEFAULT_ENCODING" abbrev="Dm" category="I18N">
    <ShortDescription>Reliance on default encoding</ShortDescription>
    <Details><![CDATA[

<p> Found a call to a method which will perform a byte to String (or String to byte) conversion, and will assume that the default platform encoding is suitable. This will cause the application behaviour to vary between platforms. Use an alternative API and specify a charset name or Charset object explicitly.  </p>

      ]]></Details>
  </BugPattern>
  <BugCode abbrev="Dm">
    <Description>Dubious method used</Description>
  </BugCode>
  <Errors errors="0" missingClasses="0"></Errors>
  <FindBugsSummary timestamp="Fri, 24 May 2013 13:52:02 +0000" total_classes="189" referenced_classes="1005" total_bugs="1" total_size="6629" num_packages="10" vm_version="14.3-b01" cpu_seconds="20.79" clock_seconds="24.39" peak_mbytes="192.12" alloc_mbytes="508.06" gc_seconds="1.62" priority_1="1">
    <FileStats path="com/jgoodies/uif_lite/component/Factory.java" bugCount="0" size="21"/>
    <FileStats path="com/jgoodies/uif_lite/component/UIFSplitPane.java" bugCount="0" size="44"/>
    <FileStats path="com/jgoodies/uif_lite/panel/GradientPanel.java" bugCount="0" size="18"/>
    <FileStats path="com/jgoodies/uif_lite/panel/SimpleInternalFrame.java" bugCount="0" size="156"/>
    <FileStats path="furbelow/AnimatedIcon.java" bugCount="0" size="137"/>
    <FileStats path="furbelow/GifDecoder.java" bugCount="0" size="420"/>
    <FileStats path="org/qedeq/gui/se/control/AboutAction.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/gui/se/control/AddAction.java" bugCount="0" size="44"/>
    <FileStats path="org/qedeq/gui/se/control/AddAllModulesFromQedeqAction.java" bugCount="0" size="25"/>
    <FileStats path="org/qedeq/gui/se/control/AddFileAction.java" bugCount="0" size="52"/>
    <FileStats path="org/qedeq/gui/se/control/CheckFormallyProvedAction.java" bugCount="0" size="33"/>
    <FileStats path="org/qedeq/gui/se/control/CheckWellFormedAction.java" bugCount="0" size="33"/>
    <FileStats path="org/qedeq/gui/se/control/ErrorSelectionListener.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/gui/se/control/ExitAction.java" bugCount="0" size="7"/>
    <FileStats path="org/qedeq/gui/se/control/HelpAction.java" bugCount="0" size="33"/>
    <FileStats path="org/qedeq/gui/se/control/LatexParserAction.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/gui/se/control/PluginAction.java" bugCount="0" size="85"/>
    <FileStats path="org/qedeq/gui/se/control/PluginPreferencesAction.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/gui/se/control/PreferencesAction.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/gui/se/control/ProcessViewAction.java" bugCount="0" size="16"/>
    <FileStats path="org/qedeq/gui/se/control/ProofTextParserAction.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/gui/se/control/QedeqController.java" bugCount="0" size="140"/>
    <FileStats path="org/qedeq/gui/se/control/RemoveAllAction.java" bugCount="0" size="21"/>
    <FileStats path="org/qedeq/gui/se/control/RemoveLocalBufferAction.java" bugCount="0" size="22"/>
    <FileStats path="org/qedeq/gui/se/control/RemoveModuleAction.java" bugCount="0" size="33"/>
    <FileStats path="org/qedeq/gui/se/control/RemovePluginResultsAction.java" bugCount="0" size="33"/>
    <FileStats path="org/qedeq/gui/se/control/SelectionListener.java" bugCount="0" size="1"/>
    <FileStats path="org/qedeq/gui/se/control/SelectionListenerList.java" bugCount="0" size="31"/>
    <FileStats path="org/qedeq/gui/se/control/TerminateAllAction.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/gui/se/control/TextParserAction.java" bugCount="0" size="23"/>
    <FileStats path="org/qedeq/gui/se/control/WarningSelectionListener.java" bugCount="0" size="2"/>
    <FileStats path="org/qedeq/gui/se/element/CPTextArea.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/gui/se/element/CPTextField.java" bugCount="0" size="15"/>
    <FileStats path="org/qedeq/gui/se/element/CPTextPane.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/gui/se/element/ClipboardListener.java" bugCount="0" size="72"/>
    <FileStats path="org/qedeq/gui/se/element/FindDialog.java" bugCount="0" size="133"/>
    <FileStats path="org/qedeq/gui/se/main/GuiOptions.java" bugCount="0" size="122"/>
    <FileStats path="org/qedeq/gui/se/main/LowerTabbedView.java" bugCount="0" size="34"/>
    <FileStats path="org/qedeq/gui/se/main/QedeqMainFrame.java" bugCount="1" size="129" bugHash="1f1f20877560175c898d2c328250c4ef"/>
    <FileStats path="org/qedeq/gui/se/main/QedeqMainPane.java" bugCount="0" size="29"/>
    <FileStats path="org/qedeq/gui/se/main/QedeqMenuBar.java" bugCount="0" size="130"/>
    <FileStats path="org/qedeq/gui/se/main/UpperTabbedView.java" bugCount="0" size="68"/>
    <FileStats path="org/qedeq/gui/se/pane/AboutDialog.java" bugCount="0" size="148"/>
    <FileStats path="org/qedeq/gui/se/pane/HtmlPane.java" bugCount="0" size="95"/>
    <FileStats path="org/qedeq/gui/se/pane/LogPane.java" bugCount="0" size="206"/>
    <FileStats path="org/qedeq/gui/se/pane/ModuleErrorAndWarningListContextMenu.java" bugCount="0" size="9"/>
    <FileStats path="org/qedeq/gui/se/pane/ModuleErrorAndWarningListModel.java" bugCount="0" size="96"/>
    <FileStats path="org/qedeq/gui/se/pane/ModuleErrorAndWarningListPane.java" bugCount="0" size="256"/>
    <FileStats path="org/qedeq/gui/se/pane/ModulePropertiesPane.java" bugCount="0" size="81"/>
    <FileStats path="org/qedeq/gui/se/pane/ParserPane.java" bugCount="0" size="239"/>
    <FileStats path="org/qedeq/gui/se/pane/PluginPreferencesDialog.java" bugCount="0" size="460"/>
    <FileStats path="org/qedeq/gui/se/pane/PreferencesDialog.java" bugCount="0" size="352"/>
    <FileStats path="org/qedeq/gui/se/pane/ProcessListModel.java" bugCount="0" size="117"/>
    <FileStats path="org/qedeq/gui/se/pane/ProcessListPane.java" bugCount="0" size="268"/>
    <FileStats path="org/qedeq/gui/se/pane/ProcessWindow.java" bugCount="0" size="115"/>
    <FileStats path="org/qedeq/gui/se/pane/ProofParserPane.java" bugCount="0" size="385"/>
    <FileStats path="org/qedeq/gui/se/pane/QedeqGuiConfig.java" bugCount="0" size="50"/>
    <FileStats path="org/qedeq/gui/se/pane/QedeqPane.java" bugCount="0" size="156"/>
    <FileStats path="org/qedeq/gui/se/pane/TextPaneWindow.java" bugCount="0" size="135"/>
    <FileStats path="org/qedeq/gui/se/tree/ModuleElement.java" bugCount="0" size="24"/>
    <FileStats path="org/qedeq/gui/se/tree/NothingSelectedException.java" bugCount="0" size="4"/>
    <FileStats path="org/qedeq/gui/se/tree/QedeqTreeCellRenderer.java" bugCount="0" size="154"/>
    <FileStats path="org/qedeq/gui/se/tree/QedeqTreeContextMenu.java" bugCount="0" size="48"/>
    <FileStats path="org/qedeq/gui/se/tree/QedeqTreeCtrl.java" bugCount="0" size="124"/>
    <FileStats path="org/qedeq/gui/se/tree/QedeqTreeModel.java" bugCount="0" size="93"/>
    <FileStats path="org/qedeq/gui/se/tree/QedeqTreeNode.java" bugCount="0" size="20"/>
    <FileStats path="org/qedeq/gui/se/tree/QedeqTreeView.java" bugCount="0" size="41"/>
    <FileStats path="org/qedeq/gui/se/util/BareBonesBrowserLaunch.java" bugCount="0" size="39"/>
    <FileStats path="org/qedeq/gui/se/util/CurrentLineHighlighterUtility.java" bugCount="0" size="69"/>
    <FileStats path="org/qedeq/gui/se/util/DataDictionary.java" bugCount="0" size="39"/>
    <FileStats path="org/qedeq/gui/se/util/DecoratedIcon.java" bugCount="0" size="17"/>
    <FileStats path="org/qedeq/gui/se/util/DocumentMarker.java" bugCount="0" size="57"/>
    <FileStats path="org/qedeq/gui/se/util/DocumentMarkerPainter.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/gui/se/util/ExternalLinkContentViewerUI.java" bugCount="0" size="16"/>
    <FileStats path="org/qedeq/gui/se/util/GuiHelper.java" bugCount="0" size="169"/>
    <FileStats path="org/qedeq/gui/se/util/MenuHelper.java" bugCount="0" size="60"/>
    <FileStats path="org/qedeq/gui/se/util/UnderlineDocumentMarkerPainter.java" bugCount="0" size="27"/>
    <FileStats path="org/qedeq/text/se/main/Main.java" bugCount="0" size="141"/>
    <PackageStats package="com.jgoodies.uif_lite.component" total_bugs="0" total_types="2" total_size="65">
      <ClassStats class="com.jgoodies.uif_lite.component.Factory" sourceFile="Factory.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="com.jgoodies.uif_lite.component.UIFSplitPane" sourceFile="UIFSplitPane.java" interface="false" size="44" bugs="0"/>
    </PackageStats>
    <PackageStats package="com.jgoodies.uif_lite.panel" total_bugs="0" total_types="5" total_size="174">
      <ClassStats class="com.jgoodies.uif_lite.panel.GradientPanel" sourceFile="GradientPanel.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="com.jgoodies.uif_lite.panel.SimpleInternalFrame" sourceFile="SimpleInternalFrame.java" interface="false" size="103" bugs="0"/>
      <ClassStats class="com.jgoodies.uif_lite.panel.SimpleInternalFrame$1" sourceFile="SimpleInternalFrame.java" interface="false" size="1" bugs="0"/>
      <ClassStats class="com.jgoodies.uif_lite.panel.SimpleInternalFrame$RaisedHeaderBorder" sourceFile="SimpleInternalFrame.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="com.jgoodies.uif_lite.panel.SimpleInternalFrame$ShadowBorder" sourceFile="SimpleInternalFrame.java" interface="false" size="34" bugs="0"/>
    </PackageStats>
    <PackageStats package="furbelow" total_bugs="0" total_types="5" total_size="557">
      <ClassStats class="furbelow.AnimatedIcon" sourceFile="AnimatedIcon.java" interface="false" size="80" bugs="0"/>
      <ClassStats class="furbelow.AnimatedIcon$AnimationObserver" sourceFile="AnimatedIcon.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="furbelow.AnimatedIcon$RepaintArea" sourceFile="AnimatedIcon.java" interface="false" size="41" bugs="0"/>
      <ClassStats class="furbelow.GifDecoder" sourceFile="GifDecoder.java" interface="false" size="412" bugs="0"/>
      <ClassStats class="furbelow.GifDecoder$GifFrame" sourceFile="GifDecoder.java" interface="false" size="8" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.gui.se.control" total_bugs="0" total_types="40" total_size="724">
      <ClassStats class="org.qedeq.gui.se.control.AboutAction" sourceFile="AboutAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddAction" sourceFile="AddAction.java" interface="false" size="36" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddAction$1" sourceFile="AddAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddAllModulesFromQedeqAction" sourceFile="AddAllModulesFromQedeqAction.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddAllModulesFromQedeqAction$1" sourceFile="AddAllModulesFromQedeqAction.java" interface="false" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddFileAction" sourceFile="AddFileAction.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddFileAction$1" sourceFile="AddFileAction.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.AddFileAction$2" sourceFile="AddFileAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.CheckFormallyProvedAction" sourceFile="CheckFormallyProvedAction.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.CheckFormallyProvedAction$1" sourceFile="CheckFormallyProvedAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.CheckWellFormedAction" sourceFile="CheckWellFormedAction.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.CheckWellFormedAction$1" sourceFile="CheckWellFormedAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.ErrorSelectionListener" sourceFile="ErrorSelectionListener.java" interface="true" size="2" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.ExitAction" sourceFile="ExitAction.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.HelpAction" sourceFile="HelpAction.java" interface="false" size="33" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.LatexParserAction" sourceFile="LatexParserAction.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.PluginAction" sourceFile="PluginAction.java" interface="false" size="53" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.PluginAction$1" sourceFile="PluginAction.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.PluginAction$1$1" sourceFile="PluginAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.PluginAction$1$2" sourceFile="PluginAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.PluginPreferencesAction" sourceFile="PluginPreferencesAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.PreferencesAction" sourceFile="PreferencesAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.ProcessViewAction" sourceFile="ProcessViewAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.ProcessViewAction$1" sourceFile="ProcessViewAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.ProofTextParserAction" sourceFile="ProofTextParserAction.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.QedeqController" sourceFile="QedeqController.java" interface="false" size="140" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemoveAllAction" sourceFile="RemoveAllAction.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemoveAllAction$1" sourceFile="RemoveAllAction.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemoveLocalBufferAction" sourceFile="RemoveLocalBufferAction.java" interface="false" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemoveLocalBufferAction$1" sourceFile="RemoveLocalBufferAction.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemoveModuleAction" sourceFile="RemoveModuleAction.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemoveModuleAction$1" sourceFile="RemoveModuleAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemovePluginResultsAction" sourceFile="RemovePluginResultsAction.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.RemovePluginResultsAction$1" sourceFile="RemovePluginResultsAction.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.SelectionListener" sourceFile="SelectionListener.java" interface="true" size="1" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.SelectionListenerList" sourceFile="SelectionListenerList.java" interface="false" size="31" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.TerminateAllAction" sourceFile="TerminateAllAction.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.TerminateAllAction$1" sourceFile="TerminateAllAction.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.TextParserAction" sourceFile="TextParserAction.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.control.WarningSelectionListener" sourceFile="WarningSelectionListener.java" interface="true" size="2" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.gui.se.element" total_bugs="0" total_types="7" total_size="260">
      <ClassStats class="org.qedeq.gui.se.element.CPTextArea" sourceFile="CPTextArea.java" interface="false" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.element.CPTextField" sourceFile="CPTextField.java" interface="false" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.element.CPTextPane" sourceFile="CPTextPane.java" interface="false" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.element.ClipboardListener" sourceFile="ClipboardListener.java" interface="false" size="72" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.element.FindDialog" sourceFile="FindDialog.java" interface="false" size="105" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.element.FindDialog$1" sourceFile="FindDialog.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.element.FindDialog$2" sourceFile="FindDialog.java" interface="false" size="7" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.gui.se.main" total_bugs="1" total_types="8" total_size="512" priority_1="1">
      <ClassStats class="org.qedeq.gui.se.main.GuiOptions" sourceFile="GuiOptions.java" interface="false" size="122" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.main.LowerTabbedView" sourceFile="LowerTabbedView.java" interface="false" size="34" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.main.QedeqMainFrame" sourceFile="QedeqMainFrame.java" interface="false" size="115" bugs="1" priority_1="1"/>
      <ClassStats class="org.qedeq.gui.se.main.QedeqMainFrame$1" sourceFile="QedeqMainFrame.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.main.QedeqMainFrame$2" sourceFile="QedeqMainFrame.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.main.QedeqMainPane" sourceFile="QedeqMainPane.java" interface="false" size="29" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.main.QedeqMenuBar" sourceFile="QedeqMenuBar.java" interface="false" size="130" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.main.UpperTabbedView" sourceFile="UpperTabbedView.java" interface="false" size="68" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.gui.se.pane" total_bugs="0" total_types="91" total_size="3168">
      <ClassStats class="org.qedeq.gui.se.pane.AboutDialog" sourceFile="AboutDialog.java" interface="false" size="93" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.AboutDialog$1" sourceFile="AboutDialog.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.AboutDialog$2" sourceFile="AboutDialog.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.AboutDialog$3" sourceFile="AboutDialog.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.AboutDialog$4" sourceFile="AboutDialog.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.AboutDialog$5" sourceFile="AboutDialog.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.HtmlPane" sourceFile="HtmlPane.java" interface="false" size="72" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.HtmlPane$1" sourceFile="HtmlPane.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.HtmlPane$2" sourceFile="HtmlPane.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane" sourceFile="LogPane.java" interface="false" size="86" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$1" sourceFile="LogPane.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$2" sourceFile="LogPane.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$3" sourceFile="LogPane.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$4" sourceFile="LogPane.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$5" sourceFile="LogPane.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$6" sourceFile="LogPane.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$7" sourceFile="LogPane.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.LogPane$8" sourceFile="LogPane.java" interface="false" size="13" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListContextMenu" sourceFile="ModuleErrorAndWarningListContextMenu.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListModel" sourceFile="ModuleErrorAndWarningListModel.java" interface="false" size="96" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="148" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$1" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="28" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$2" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$3" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$4" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$5" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$6" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$7" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$8" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$9" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModuleErrorAndWarningListPane$IconCellRenderer" sourceFile="ModuleErrorAndWarningListPane.java" interface="false" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ModulePropertiesPane" sourceFile="ModulePropertiesPane.java" interface="false" size="81" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane" sourceFile="ParserPane.java" interface="false" size="169" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane$1" sourceFile="ParserPane.java" interface="false" size="28" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane$2" sourceFile="ParserPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane$3" sourceFile="ParserPane.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane$4" sourceFile="ParserPane.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane$5" sourceFile="ParserPane.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ParserPane$6" sourceFile="ParserPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog" sourceFile="PluginPreferencesDialog.java" interface="false" size="222" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$1" sourceFile="PluginPreferencesDialog.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$2" sourceFile="PluginPreferencesDialog.java" interface="false" size="21" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$3" sourceFile="PluginPreferencesDialog.java" interface="false" size="23" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$4" sourceFile="PluginPreferencesDialog.java" interface="false" size="51" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$4$1" sourceFile="PluginPreferencesDialog.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$5" sourceFile="PluginPreferencesDialog.java" interface="false" size="78" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$6" sourceFile="PluginPreferencesDialog.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$7" sourceFile="PluginPreferencesDialog.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$8" sourceFile="PluginPreferencesDialog.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PluginPreferencesDialog$PluginGuiPreferencesCreator" sourceFile="PluginPreferencesDialog.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog" sourceFile="PreferencesDialog.java" interface="false" size="256" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$1" sourceFile="PreferencesDialog.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$1$1" sourceFile="PreferencesDialog.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$2" sourceFile="PreferencesDialog.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$2$1" sourceFile="PreferencesDialog.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$3" sourceFile="PreferencesDialog.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$3$1" sourceFile="PreferencesDialog.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$4" sourceFile="PreferencesDialog.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.PreferencesDialog$5" sourceFile="PreferencesDialog.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListModel" sourceFile="ProcessListModel.java" interface="false" size="117" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane" sourceFile="ProcessListPane.java" interface="false" size="184" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane$1" sourceFile="ProcessListPane.java" interface="false" size="32" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane$2" sourceFile="ProcessListPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane$3" sourceFile="ProcessListPane.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane$4" sourceFile="ProcessListPane.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane$5" sourceFile="ProcessListPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessListPane$IconCellRenderer" sourceFile="ProcessListPane.java" interface="false" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow" sourceFile="ProcessWindow.java" interface="false" size="64" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$1" sourceFile="ProcessWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$2" sourceFile="ProcessWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$3" sourceFile="ProcessWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$4" sourceFile="ProcessWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$5" sourceFile="ProcessWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$6" sourceFile="ProcessWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProcessWindow$7" sourceFile="ProcessWindow.java" interface="false" size="9" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProofParserPane" sourceFile="ProofParserPane.java" interface="false" size="329" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProofParserPane$1" sourceFile="ProofParserPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProofParserPane$2" sourceFile="ProofParserPane.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProofParserPane$3" sourceFile="ProofParserPane.java" interface="false" size="14" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProofParserPane$4" sourceFile="ProofParserPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.ProofParserPane$5" sourceFile="ProofParserPane.java" interface="false" size="18" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.QedeqGuiConfig" sourceFile="QedeqGuiConfig.java" interface="false" size="50" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.QedeqPane" sourceFile="QedeqPane.java" interface="false" size="123" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.QedeqPane$1" sourceFile="QedeqPane.java" interface="false" size="26" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.QedeqPane$2" sourceFile="QedeqPane.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.TextPaneWindow" sourceFile="TextPaneWindow.java" interface="false" size="83" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.TextPaneWindow$1" sourceFile="TextPaneWindow.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.TextPaneWindow$2" sourceFile="TextPaneWindow.java" interface="false" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.TextPaneWindow$3" sourceFile="TextPaneWindow.java" interface="false" size="12" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.TextPaneWindow$4" sourceFile="TextPaneWindow.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.pane.TextPaneWindow$5" sourceFile="TextPaneWindow.java" interface="false" size="6" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.gui.se.tree" total_bugs="0" total_types="15" total_size="508">
      <ClassStats class="org.qedeq.gui.se.tree.ModuleElement" sourceFile="ModuleElement.java" interface="false" size="24" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.NothingSelectedException" sourceFile="NothingSelectedException.java" interface="false" size="4" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeCellRenderer" sourceFile="QedeqTreeCellRenderer.java" interface="false" size="154" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeContextMenu" sourceFile="QedeqTreeContextMenu.java" interface="false" size="48" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeCtrl" sourceFile="QedeqTreeCtrl.java" interface="false" size="70" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeCtrl$1" sourceFile="QedeqTreeCtrl.java" interface="false" size="10" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeCtrl$2" sourceFile="QedeqTreeCtrl.java" interface="false" size="12" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeCtrl$QedeqMouseListener" sourceFile="QedeqTreeCtrl.java" interface="false" size="15" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeCtrl$SelectionChangedCommand" sourceFile="QedeqTreeCtrl.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeModel" sourceFile="QedeqTreeModel.java" interface="false" size="33" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeModel$1" sourceFile="QedeqTreeModel.java" interface="false" size="22" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeModel$2" sourceFile="QedeqTreeModel.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeModel$3" sourceFile="QedeqTreeModel.java" interface="false" size="19" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeNode" sourceFile="QedeqTreeNode.java" interface="false" size="20" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.tree.QedeqTreeView" sourceFile="QedeqTreeView.java" interface="false" size="41" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.gui.se.util" total_bugs="0" total_types="15" total_size="520">
      <ClassStats class="org.qedeq.gui.se.util.BareBonesBrowserLaunch" sourceFile="BareBonesBrowserLaunch.java" interface="false" size="39" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.CurrentLineHighlighterUtility" sourceFile="CurrentLineHighlighterUtility.java" interface="false" size="45" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.CurrentLineHighlighterUtility$1" sourceFile="CurrentLineHighlighterUtility.java" interface="false" size="7" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.CurrentLineHighlighterUtility$2" sourceFile="CurrentLineHighlighterUtility.java" interface="false" size="11" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.CurrentLineHighlighterUtility$3" sourceFile="CurrentLineHighlighterUtility.java" interface="false" size="6" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.DataDictionary" sourceFile="DataDictionary.java" interface="false" size="39" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.DecoratedIcon" sourceFile="DecoratedIcon.java" interface="false" size="17" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.DocumentMarker" sourceFile="DocumentMarker.java" interface="false" size="57" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.DocumentMarkerPainter" sourceFile="DocumentMarkerPainter.java" interface="false" size="27" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.ExternalLinkContentViewerUI" sourceFile="ExternalLinkContentViewerUI.java" interface="false" size="16" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.GuiHelper" sourceFile="GuiHelper.java" interface="false" size="169" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.MenuHelper" sourceFile="MenuHelper.java" interface="false" size="44" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.MenuHelper$1" sourceFile="MenuHelper.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.MenuHelper$2" sourceFile="MenuHelper.java" interface="false" size="8" bugs="0"/>
      <ClassStats class="org.qedeq.gui.se.util.UnderlineDocumentMarkerPainter" sourceFile="UnderlineDocumentMarkerPainter.java" interface="false" size="27" bugs="0"/>
    </PackageStats>
    <PackageStats package="org.qedeq.text.se.main" total_bugs="0" total_types="1" total_size="141">
      <ClassStats class="org.qedeq.text.se.main.Main" sourceFile="Main.java" interface="false" size="141" bugs="0"/>
    </PackageStats>
    <FindBugsProfile>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassDataAnalysisEngine" totalMilliseconds="5867" invocations="2765" avgMicrosecondsPerInvocation="2122" maxMicrosecondsPerInvocation="316236" standardDeviationMircosecondsPerInvocation="9875"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.ClassInfoAnalysisEngine" totalMilliseconds="1492" invocations="2762" avgMicrosecondsPerInvocation="540" maxMicrosecondsPerInvocation="44426" standardDeviationMircosecondsPerInvocation="2368"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FieldItemSummary" totalMilliseconds="1062" invocations="1005" avgMicrosecondsPerInvocation="1057" maxMicrosecondsPerInvocation="51898" standardDeviationMircosecondsPerInvocation="3260"/>
      <ClassProfile name="edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder" totalMilliseconds="967" invocations="949" avgMicrosecondsPerInvocation="1019" maxMicrosecondsPerInvocation="88258" standardDeviationMircosecondsPerInvocation="3825"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory" totalMilliseconds="944" invocations="949" avgMicrosecondsPerInvocation="994" maxMicrosecondsPerInvocation="57866" standardDeviationMircosecondsPerInvocation="3419"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory" totalMilliseconds="891" invocations="994" avgMicrosecondsPerInvocation="897" maxMicrosecondsPerInvocation="67441" standardDeviationMircosecondsPerInvocation="3867"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory" totalMilliseconds="855" invocations="1012" avgMicrosecondsPerInvocation="845" maxMicrosecondsPerInvocation="49479" standardDeviationMircosecondsPerInvocation="2915"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory" totalMilliseconds="822" invocations="949" avgMicrosecondsPerInvocation="866" maxMicrosecondsPerInvocation="136529" standardDeviationMircosecondsPerInvocation="4968"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.NoteDirectlyRelevantTypeQualifiers" totalMilliseconds="602" invocations="1005" avgMicrosecondsPerInvocation="599" maxMicrosecondsPerInvocation="42832" standardDeviationMircosecondsPerInvocation="2195"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindRefComparison$SpecialTypeAnalysis" totalMilliseconds="541" invocations="736" avgMicrosecondsPerInvocation="735" maxMicrosecondsPerInvocation="67433" standardDeviationMircosecondsPerInvocation="3058"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory" totalMilliseconds="535" invocations="949" avgMicrosecondsPerInvocation="564" maxMicrosecondsPerInvocation="104318" standardDeviationMircosecondsPerInvocation="3677"/>
      <ClassProfile name="edu.umd.cs.findbugs.OpcodeStack$JumpInfoFactory" totalMilliseconds="404" invocations="2374" avgMicrosecondsPerInvocation="170" maxMicrosecondsPerInvocation="23872" standardDeviationMircosecondsPerInvocation="622"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.ConstantDataflowFactory" totalMilliseconds="338" invocations="949" avgMicrosecondsPerInvocation="356" maxMicrosecondsPerInvocation="43399" standardDeviationMircosecondsPerInvocation="2091"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.JavaClassAnalysisEngine" totalMilliseconds="251" invocations="1176" avgMicrosecondsPerInvocation="213" maxMicrosecondsPerInvocation="24066" standardDeviationMircosecondsPerInvocation="1064"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FunctionsThatMightBeMistakenForProcedures" totalMilliseconds="231" invocations="1005" avgMicrosecondsPerInvocation="230" maxMicrosecondsPerInvocation="40993" standardDeviationMircosecondsPerInvocation="1516"/>
      <ClassProfile name="edu.umd.cs.findbugs.classfile.engine.bcel.MethodGenFactory" totalMilliseconds="230" invocations="952" avgMicrosecondsPerInvocation="242" maxMicrosecondsPerInvocation="109534" standardDeviationMircosecondsPerInvocation="3606"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase" totalMilliseconds="214" invocations="1005" avgMicrosecondsPerInvocation="213" maxMicrosecondsPerInvocation="22032" standardDeviationMircosecondsPerInvocation="838"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.OverridingEqualsNotSymmetrical" totalMilliseconds="204" invocations="1005" avgMicrosecondsPerInvocation="203" maxMicrosecondsPerInvocation="22578" standardDeviationMircosecondsPerInvocation="892"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindNullDeref$CheckCallSitesAndReturnInstructions" totalMilliseconds="198" invocations="949" avgMicrosecondsPerInvocation="209" maxMicrosecondsPerInvocation="74879" standardDeviationMircosecondsPerInvocation="2459"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.CalledMethods" totalMilliseconds="181" invocations="1005" avgMicrosecondsPerInvocation="180" maxMicrosecondsPerInvocation="8275" standardDeviationMircosecondsPerInvocation="461"/>
      <ClassProfile name="edu.umd.cs.findbugs.util.TopologicalSort" totalMilliseconds="179" invocations="2702" avgMicrosecondsPerInvocation="66" maxMicrosecondsPerInvocation="37247" standardDeviationMircosecondsPerInvocation="734"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.EqualsOperandShouldHaveClassCompatibleWithThis" totalMilliseconds="159" invocations="1005" avgMicrosecondsPerInvocation="158" maxMicrosecondsPerInvocation="38243" standardDeviationMircosecondsPerInvocation="1251"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.LoadOfKnownNullValue" totalMilliseconds="151" invocations="189" avgMicrosecondsPerInvocation="799" maxMicrosecondsPerInvocation="11259" standardDeviationMircosecondsPerInvocation="1379"/>
      <ClassProfile name="edu.umd.cs.findbugs.detect.FindHEmismatch" totalMilliseconds="150" invocations="189" avgMicrosecondsPerInvocation="796" maxMicrosecondsPerInvocation="85758" standardDeviationMircosecondsPerInvocation="6215"/>
    </FindBugsProfile>
  </FindBugsSummary>
  <ClassFeatures></ClassFeatures>
  <History></History>
</BugCollection>
