CheckStyle Audit

Designed for use with CheckStyle and Ant.

Summary

FilesErrorsWarningsInfos
69000

Files

NameErrorsWarningInfo
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AboutAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AddAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AddAllModulesFromQedeqAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AddFileAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/CheckLogicAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ErrorSelectionListener.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ExitAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/HelpAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/LatexParserAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/MakeLatexAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/PluginAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/PluginPreferencesAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/PreferencesAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ProcessViewAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ProofTextParserAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/QedeqController.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemoveAllAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemoveLocalBufferAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemoveModuleAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemovePluginResultsAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/SelectionListener.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/SelectionListenerList.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/TerminateAllAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/TextParserAction.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/WarningSelectionListener.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/CPTextArea.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/CPTextField.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/CPTextPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/ClipboardListener.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/GuiOptions.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/LowerTabbedView.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/QedeqMainFrame.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/QedeqMainPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/QedeqMenuBar.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/UpperTabbedView.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/AboutDialog.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/HtmlPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/LogPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModuleErrorAndWarningListContextMenu.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModuleErrorAndWarningListModel.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModuleErrorAndWarningListPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModulePropertiesPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ParserPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/PluginPreferencesDialog.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/PreferencesDialog.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProcessListModel.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProcessListPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProcessWindow.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProofParserPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/QedeqGuiConfig.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/QedeqPane.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/TextPaneWindow.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/ModuleElement.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/NothingSelectedException.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeCellRenderer.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeContextMenu.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeCtrl.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeModel.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeNode.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeView.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/BareBonesBrowserLaunch.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/CurrentLineHighlighterUtility.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/DataDictionary.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/DocumentMarker.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/DocumentMarkerPainter.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/ExternalLinkContentViewerUI.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/GuiHelper.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/MenuHelper.java000
/srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/text/se/main/Main.java000

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AboutAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AddAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AddAllModulesFromQedeqAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/AddFileAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/CheckLogicAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ErrorSelectionListener.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ExitAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/HelpAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/LatexParserAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/MakeLatexAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/PluginAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/PluginPreferencesAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/PreferencesAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ProcessViewAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/ProofTextParserAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/QedeqController.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemoveAllAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemoveLocalBufferAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemoveModuleAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/RemovePluginResultsAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/SelectionListener.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/SelectionListenerList.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/TerminateAllAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/TextParserAction.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/control/WarningSelectionListener.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/CPTextArea.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/CPTextField.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/CPTextPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/element/ClipboardListener.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/GuiOptions.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/LowerTabbedView.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/QedeqMainFrame.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/QedeqMainPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/QedeqMenuBar.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/main/UpperTabbedView.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/AboutDialog.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/HtmlPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/LogPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModuleErrorAndWarningListContextMenu.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModuleErrorAndWarningListModel.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModuleErrorAndWarningListPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ModulePropertiesPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ParserPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/PluginPreferencesDialog.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/PreferencesDialog.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProcessListModel.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProcessListPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProcessWindow.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/ProofParserPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/QedeqGuiConfig.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/QedeqPane.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/pane/TextPaneWindow.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/ModuleElement.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/NothingSelectedException.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeCellRenderer.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeContextMenu.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeCtrl.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeModel.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeNode.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/tree/QedeqTreeView.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/BareBonesBrowserLaunch.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/CurrentLineHighlighterUtility.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/DataDictionary.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/DocumentMarker.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/DocumentMarkerPainter.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/ExternalLinkContentViewerUI.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/GuiHelper.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/gui/se/util/MenuHelper.java

Error DescriptionLine
Back to top

File /srv/hudson/jobs/QedeqReleaseBuild/workspace/qedeq_gen/release/ant/modules/qedeq_gui_se/src/main/java/org/qedeq/text/se/main/Main.java

Error DescriptionLine
Back to top