AIBench (Artificial Intelligence workBENCH) is a lightweight, non-intrusive, MVC-based Java application framework intended to fast develop desktop-based applications, specially focused in the scientific domain. See more on: http://www.aibench.org
Be the first to post a text review of AIBench. Rate and review a project by clicking thumbs up or thumbs down in the right column.
2009-06-08 20:58 mrjato * plugins_src/: es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ClipboardParamProvider.java, es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLMultifileGenerator.java: Fixed Documentor error: Images don't appear on Multifile HTMLs. ClipboardParamProvider now allows to change the combo box null item text. 2009-06-05 18:15 mrjato * .classpath: [no log message] 2009-06-04 13:33 mrjato * .classpath, .cvsignore, plugins_src/es.uvigo.ei.sing.aibench.documentor/cobra.jar, plugins_src/es.uvigo.ei.sing.aibench.documentor/js.jar, plugins_src/es.uvigo.ei.sing.aibench.documentor/plugin.xml, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/CobraHTMLView.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateHTML.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateHTMLMultifile.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateHTMLWithCSS.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateTXT.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/HTMLView.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/HtmlBlockPanelDoc.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/Introspect.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/SaveString.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/ScanAIBench.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/Generator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLCSSTextGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLMultifileDocument.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLMultifileGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLTextDocument.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLTextGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/TXTGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/TemplateGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/css/documentor.css, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/attach.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/data.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/datatype.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/plugin.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/process.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/view.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/AIBenchInstanceModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/DatatypeModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/DatatypeModelFactory.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/OperationModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/OperationModelFactory.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/PluginModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/PluginModelFactory.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/PortModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/TransformerModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/ViewModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/ViewModelFactory.java, create-plugins-jars.xml: Added Documentor Plugin. 2009-05-30 12:38 lipido * plugins_src/: es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/ParamSpec.java, es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/PrimitiveParamProvider.java: Bugfix: char input ports now supported and allowing special chars like \t \n, etc 2009-05-27 13:41 lipido * sdk/plugins_src/sampleplugin/sampleplugin/Sum.java: Added order attributes in the @Port annotations of the sample plugin 2009-05-27 13:26 lipido * conf/aibench.conf: configuration changed: to-install plugins now installs by default 2009-05-27 12:46 mrjato * .classpath, lib/javahelp/dtd/favorites_2_0.dtd, lib/javahelp/dtd/helpset_2_0.dtd, lib/javahelp/dtd/index_2_0.dtd, lib/javahelp/dtd/map_2_0.dtd, lib/javahelp/dtd/toc_2_0.dtd: Fixed classpath. 2009-05-25 09:23 mrjato * lib/javahelp/dtd/favorites_2_0.dtd, create-plugins-jars.xml, conf/core.conf, help/helpset.hs, help/map.xml, help/toc.xml, help/HTML/Datatype.html, help/HTML/Operation.html, help/HTML/View.html, help/HTML/index.html, lib/javahelp/dtd/helpset_2_0.dtd, lib/javahelp/dtd/index_2_0.dtd, lib/javahelp/dtd/map_2_0.dtd, lib/javahelp/dtd/toc_2_0.dtd, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/datatypes/annotation/Clipboard.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/datatypes/annotation/Structure.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamsWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchTreeMouseListener.java: Now the framework allows adding help information to the operations, datatypes and views using Java Help or through URLs. See "help" directory and "core.conf" configuration. The "Workbench" class also include new API methods to programatically show help topics. 2009-05-20 11:50 mrjato * create-plugins-jars.xml: [no log message] 2009-05-18 17:06 mrjato * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/CollectorAdapterFactory.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/EndpointsFactory.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Executable.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/IncomingEndPoint.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/IncomingEndPointForwarder.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Metadata_old.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/OutcomeTransformer.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Parallelizer.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/SerialExecutable.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/SimpleIncomingEndPoint.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/StandardExecutable.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Tee.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/TypesChecker.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Unifier.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/ArgsRenamerPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/CompositedPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/ParallelizerPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/PipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/StandardPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/TeeDefinition.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/clipboard/Clipboard.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/datatypes/annotation/Datatype.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/DataSource.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/Operation.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/DefaultViewFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ArrayParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamsWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/interfaces/AbstractViewFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/interfaces/IViewFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchJTreeManager.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchTreeMouseListener.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/utilities/Utilities.java, sdk/plugins_src/sampleplugin/plugin.xml, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, src/org/platonos/pluginengine/IPluginConfiguration.java, create-plugins-jars.xml, lib/jhall.jar, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/OperationDefinition.java: Startup problem fixed: The splash screen didn't disappear when some plugin had the "start" attribute equals to "false". First steps to add help information to the operations, datatypes and views using Java Help or through URLs. 2009-05-04 11:00 mrjato * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Lifecycle.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, conf/aibench.conf, conf/pluginmanager.conf, conf/template.xml, conf/workbench.conf, plugins_src/es.uvigo.ei.aibench.core/plugin.xml, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/AbstractParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ArrayParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ClipboardParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/EnumParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/EnumParamProviderCombo.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/FileParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamProviderFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamsWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/PrimitiveParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/add.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/fileopen.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/operations.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/remove.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tablelayout/TableLayout.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchJTreeManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLabel.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/repository/PluginDownloader.java, src/es/uvigo/ei/aibench/repository/PluginInstaller.java, src/es/uvigo/ei/aibench/repository/info/PluginInfo.java, src/org/platonos/pluginengine/Plugin.java, src/org/platonos/pluginengine/PluginEngine.java, src/org/platonos/pluginengine/PluginXmlParser.java, src/org/platonos/pluginengine/StartPluginQueue.java, src/org/platonos/pluginengine/plugin.xsd, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/Port.java, plugins_src/es.uvigo.ei.aibench.workbench/plugin.xml: - Configurable plugin lifecycle start order. - Fixed starting problems. - Default validating input dialogs. - Icons added in input dialogs. - AIBench clipboard tree model modified in order to ease customizations. - PluginManager: Added a blacklist of installable plugins under plugins_install directory.- PluginManager: Disableable plugin installation at startup. 2009-04-30 11:00 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/FileParamProvider.java: fixing bug: FileParamProvider never sends null. If the selected file is "", now it is null 2009-04-23 20:00 paulo * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchJTreeManager.java: new option in conf/workbench.conf allows for the clipboard tree to be not organized by classes 2009-04-23 19:59 paulo * conf/workbench.conf: [no log message] 2009-04-20 20:13 mrjato * src/es/uvigo/ei/aibench/repository/info/PluginInfo.java: [no log message] 2009-04-20 19:53 mrjato * create-plugins-jars.xml: [no log message] 2009-04-20 19:36 mrjato * create-plugins-jars.xml: [no log message] 2009-04-15 11:40 mrjato * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/: ArrayParamProvider.java, FileParamProvider.java: File array creation improved with a multiple file selection dialog. Added the remove option to the array creation component. Minor fixes to the FileParamProvider. 2009-04-14 13:01 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/: PluginActionComponent.java, PluginInformationComponent.java, RepositoryInformationPane.java: Now the PluginActionComponent shows the full version. 2009-04-14 12:14 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/RepositoryInformationPane.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginManager.java: Splash reactivated. Plugins Information panel color bug fixed: The background color of the plugins and dependencies now represents de current state of the plugins. Plugins Information panel install bug fixed: Now the install option only appears if the plugin is not installed. (Previously also appeared when the dependency plugin was disabled) 2009-04-14 11:39 lipido * .classpath: fix sampleplugin compilation & distribution 2009-04-14 11:10 mrjato * create-plugins-jars.xml: Fix in the create-plugins-jars.xml. 2009-04-14 09:30 lipido * .classpath: [no log message] 2009-04-14 00:17 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/resources/combo-gtk.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/resources/sort-gtk-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/resources/sort-gtk-up.png, src/org/platonos/pluginengine/IPluginConfiguration.java, src/org/platonos/pluginengine/Plugin.java, src/org/platonos/pluginengine/PluginConfiguration.java, src/org/platonos/pluginengine/PluginDefaultConfiguration.java, src/org/platonos/pluginengine/PluginEngine.java, src/org/platonos/pluginengine/PluginFileConfiguration.java, src/org/platonos/pluginengine/PluginXmlParser.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicBusyLabelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicCalendarHeader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicCalendarHeaderHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicCalendarRenderingHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicDatePickerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicErrorPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicHeaderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicHyperlinkUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicLoginPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicMonthViewUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicMultiThumbSliderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTaskPaneContainerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTipOfTheDayUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTitledPanelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarHeaderHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarRenderingHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarState.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/TextCrossingPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_en_GB.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_en_US.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay24.gif, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/month-down.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_sv.properties, src/org/platonos/pluginengine/Dependency.java, src/org/platonos/pluginengine/PluginVersion.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/AbstractActionExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ActionContainerFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ActionFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ActionManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/BoundAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/CompositeAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/OpenBrowserAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ServerAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/TargetManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/Targetable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/TargetableAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/TargetableSupport.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ToggleActionPropertyChangeListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/workarounds/MacOSXPopupLocationFix.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/workarounds/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorInfo.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorLevel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorReporter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorSupport.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_pl_PL.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/error16.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/month-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/sort-jlf-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/sort-jlf-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsClassicLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsClassicStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsClassicTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsHyperlinkUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsTipOfTheDayUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/DefaultXTreeCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/DefaultXTreeCellRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/TreeModelSupport.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXButton.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXCollapsiblePane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXColorSelectionButton.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXDialog.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXFindBar.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXFindPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXGlassBox.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXGradientChooser.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXHyperlink.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXImagePanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXList.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXMonthView.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXSearchPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTableHeader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTitledSeparator.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTreeTable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/MultiSplitLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/RepaintManagerX.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/StackLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/SwingXUtilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/DropShadowBorder.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/IconBorder.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/MatteBorderExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/AbstractComponentAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/BusyLabelAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/BusyLabelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ColumnControlButtonAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ColumnHeaderRendererAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ComponentAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/DatePickerAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/DatePickerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/DefaultsList.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ErrorPaneAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ErrorPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/HeaderAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/HeaderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/HyperlinkAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/LoginPaneAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/LoginPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/LookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MonthViewAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MonthViewUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MultiThumbSliderAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MultiThumbSliderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/PainterUIResource.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ShapeUIResource.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/StatusBarAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/StatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneContainerAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneContainerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TipOfTheDayAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TipOfTheDayUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TitledPanelAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TitledPanelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/UIColorHighlighterAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/UIManagerExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/DefaultTip.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/DefaultTipOfTheDayModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/TipLoader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/TipOfTheDayModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/AbstractPatternPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/ForwardingRepaintManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/HorizontalLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXBusyLabel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXDatePicker.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXEditorPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXErrorPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXFrame.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXGraph.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXHeader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXImageView.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLabel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLoginDialog.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLoginPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXMultiSplitPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXMultiThumbSlider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXRadioGroup.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXRootPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXStatusBar.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTaskPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTaskPaneContainer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTipOfTheDay.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTitledPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTree.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/TranslucentRepaintManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/UIAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/VerticalLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/DefaultUserNameStore.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/JAASLoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/JDBCLoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/KeyChain.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/PasswordStore.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/UserPermissions.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multisplitpane/DefaultSplitPaneModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multisplitpane/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/AbstractSearchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/ListSearchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/PatternModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/SearchFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/Searchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/TableSearchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/TreeSearchable.java, src/es/uvigo/ei/aibench/repository/Inflater.java, src/es/uvigo/ei/aibench/repository/NotInitializedException.java, src/es/uvigo/ei/aibench/repository/PluginDownloadAdapter.java, src/es/uvigo/ei/aibench/repository/PluginDownloadEvent.java, src/es/uvigo/ei/aibench/repository/PluginDownloadListener.java, src/es/uvigo/ei/aibench/repository/PluginDownloader.java, src/es/uvigo/ei/aibench/repository/PluginInstaller.java, conf/pluginmanager.conf, conf/plugins.conf, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/SimpleLoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/UserNameStore.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/BorderHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/CompoundHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/DefaultSelectionMapper.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/HighlightPredicate.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/Highlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/IconHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PainterHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PatternFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PatternMatcher.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PatternPredicate.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PipelineEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PipelineListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ResetDTCRColorHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SearchPredicate.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ShuttleSorter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SizeSequenceMapper.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SortKey.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SortOrder.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/MetalLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/MetalStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/MetalTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/AbstractRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/BooleanValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/CellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/CheckBoxProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/ComponentProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultListRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultTableRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultTreeRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultVisuals.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/FormatStringValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/HyperlinkProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/IconValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/IconValues.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/JRendererCheckBox.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/JRendererLabel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/JXRendererHyperlink.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/LabelProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/ListCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/MappedValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/PainterAware.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/StringValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/StringValues.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/TableCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/TreeCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/WrappingIconPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/WrappingProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/AbstractHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ColorHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ComponentAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/Filter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/FilterPipeline.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/HighlighterFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SelectionMapper.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ShadingColorHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SortController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/Sorter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/UIDependent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/AbstractMultiThumbModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/DefaultMultiThumbModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/MultiThumbModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/Thumb.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbDataEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbDataListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/TrackRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AbstractAreaPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AbstractLayoutPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AbstractPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AlphaPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/BusyPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/CapsulePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/CheckerboardPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/CompoundPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/GlossPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/ImagePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/MattePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/Painter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/PainterGlasspane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/PainterIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/PinstripePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/RectanglePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/ShapePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/TextPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/combo-osx.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/sort-osx-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/sort-osx-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-xp-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/ListRolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/ListRolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/RolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/RolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/RolloverRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TableRolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TableRolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TreeRolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TreeRolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/AbstractMutableTreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/AbstractTreeTableModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/DefaultMutableTreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/DefaultTreeTableModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/FileSystemModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/MutableTreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/SimpleFileSystemModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/TreeTableCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/TreeTableModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/TreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/package-info.java, src/org/platonos/pluginengine/version/PluginDependencyMinMaxVersion.java, src/org/platonos/pluginengine/version/PluginDependencySingleVersion.java, src/org/platonos/pluginengine/version/PluginInstanceVersion.java, src/org/platonos/pluginengine/version/PluginSingleVersion.java, src/org/platonos/pluginengine/version/PluginVersion.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/combo-w2k.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/combo-xp.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/silver-statusbar-left.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/silver-statusbar-middle.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/silver-statusbar-right.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-w2k-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-w2k-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-xp-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/statusbar-left.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/statusbar-middle.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/statusbar-right.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/tipoftheday.png, plugins_lib/es.uvigo.ei.sing.aibench.pluginmanager/swingx.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AbstractAutoCompleteAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteDecorator.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteStyledDocument.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ComboBoxAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ComboBoxCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/DelegatingDocumentEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ListAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/package-info.java, lib/tar.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteComboBoxEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteDocument.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteFocusAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteKeyAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompletePropertyChangeListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ObjectToStringConverter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/TextComponentAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/AbstractDateSelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/CalendarUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DatePickerFormatter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DateSelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DateSpan.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DateUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DaySelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DefaultDateSelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/SingleDaySelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/BlendComposite.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/ColorUtilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/GraphicsUtilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/ReflectionRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/ShadowRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/ColumnControlIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/EmptyIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/SortArrowIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/AbstractAreaEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/AreaEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/GlowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/InnerGlowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/InnerShadowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/NeonBorderEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/ShadowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/LinuxLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnControlButton.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/TableColumnModelExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/Contract.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/JVM.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/OS.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/PaintUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/ShapeUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/UIManagerUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/Utilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/WindowUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/package-info.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/ListComboBoxModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/MapComboBoxModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/MacOSXErrorPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/MacOSXLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/MacOSXStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnControlPopup.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnHeaderRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/DatePickerCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/DefaultTableColumnModelExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/LabelProperties.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/NumberEditorExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/NumberEditorNumberFormat.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/TableColumnExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/EnumComboBoxModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/misc/GlossyTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/misc/package-info.java, doc/.cvsignore, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/activation.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/BooleanCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/RepositoryInformationPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/DateSelectionEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/DateSelectionListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/EventListenerMap.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/TableColumnModelExtListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/WeakEventListenerList.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/AbstractFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/ColorTintFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/FastBlurFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/GaussianBlurFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/StackBlurFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/nimbus/NimbusLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/nimbus/package-info.java, src/es/uvigo/ei/aibench/repository/info/DependencyInfo.java, src/es/uvigo/ei/aibench/repository/info/InstallInfo.java, src/es/uvigo/ei/aibench/repository/info/PluginInfo.java, .classpath, .cvsignore, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/batik.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/plugin.xml, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swing-worker.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/beans/AbstractBean.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/beans/AbstractSerializableBean.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/beans/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/doc-files/example.gif, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/ColorUtil.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/EyeDropperColorChooserPanel.form, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/EyeDropperColorChooserPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/GradientPreviewPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/GradientThumbRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/GradientTrackRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/colorwell.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/mag.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/geom/Morphing2D.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/geom/Star2D.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/geom/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/AbstractHyperlinkAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/EditorPaneLinkVisitor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/LinkModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/LinkModelAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/motif/MotifLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/motif/package-info.java, src/org/platonos/pluginengine/event/PluginEngineEventType.java: Basic PluginManager functionality completed. PluginDownloader and PluginInstaller have been introduced to manage the plugin download from a repository and to manage the installation/update of the plugins after been downloaded. The PluginManager on the aibench.pluginmanager plugin encapsulates the PluginDownloader and PluginInstaller to manage the plugin installation and updating. As well as a new GUI component has been created to interact with the PluginManager. The Plugin versioning system and classes have been reimplemented to give a better version support. 2009-03-27 14:17 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java, src/es/uvigo/ei/aibench/Launcher.java: Added a task that executes the PluginEngine.shutdown() method when the application ends. This way the PluginLifecycle.stop() method of each Plugin are invoked when the application ends. 2009-03-24 10:54 lipido * .classpath: [no log message] 2009-03-24 10:42 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/: swingx-0.9.5.zip, swingx-0.9.5-javadoc.zip, swingx-0.9.5-src.zip, es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java: swingx source, javadoc and lib zip files removed. 2009-03-24 10:16 mrjato * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, .settings/org.eclipse.core.resources.prefs, .settings/org.eclipse.jdt.core.prefs, .settings/org.eclipse.jdt.ui.prefs, plugins_lib/es.uvigo.ei.sing.aibench.pluginmanager/swingx.jar, plugins_src/.cvsignore, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreListener.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchTreeMouseListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.shell/es/uvigo/ei/sing/aibench/shell/SampleGUI.java, plugins_src/es.uvigo.ei.sing.aibench.shell/es/uvigo/ei/sing/aibench/shell/SampleOperation.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, src/org/platonos/pluginengine/Dependency.java, src/org/platonos/pluginengine/Plugin.java, src/org/platonos/pluginengine/PluginConfiguration.java, src/org/platonos/pluginengine/PluginEngine.java, .classpath, create-plugins-jars.xml, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swingx-0.9.5.zip, sdk/plugins_src/.cvsignore, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/plugin.xml, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swingx-0.9.5-javadoc.zip, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swingx-0.9.5-src.zip, conf/plugins.conf, src/org/platonos/pluginengine/event/PluginEngineEventType.java: Information Plugin created. This plugin shows information about the version, dependencies and status of the plugins installed. Severe changes done on the plugin engine for a better control of the plugins' status. With the file "plugins.conf" the user can control the plugins' load and he also can enable/disable plugins. 2009-03-20 23:14 mrjato * src/org/platonos/pluginengine/: ExtensionPoint.java, Plugin.java, PluginEngineException.java, PluginXmlNode.java, plugin.xsd, Extension.java, ExtensionClassLoader.java, PluginClassLoader.java, PluginEngine.java, PluginVersion.java, PluginXmlParser.java, StartPluginQueue.java: "plugin.xsd" modified to allow the "version", "minversion" and "maxversion" attributes on the "dependency" elements. With this modification the plugin engine is able to manage versions on the dependencies between plugins. Code clearing and updating to Java 1.5 syntax. 2009-02-20 08:54 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java: added more methods to invoke operations programmatically 2009-02-20 08:54 lipido * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java: Added support for automatic paramspec generation if the type is Serializable 2009-02-20 08:53 lipido * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java: added a method to get an operation by its uid 2009-02-11 12:25 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java: Changed the title of info messages from "Warning" to "Information" 2009-02-11 12:22 lipido * .classpath, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java: removing String.isEmpty call, which is since 1.6 2009-02-06 20:21 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java: Make the toolbar aware of enabling/disabling operations 2009-02-06 17:45 paulo * conf/workbench.conf: [no log message] 2009-02-06 17:33 paulo * conf/workbench.conf, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, sdk/plugins_src/sampleplugin/plugin.xml, .project, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/OperationDefinition.java: Toolbar inclusion ========== modified classed include: -Core.java -OperationDefinition.java -MainWindow.java -Workbench.java modified files include: -conf/Workbench.conf -sdk/plugins_src/sampleplugin 2009-02-05 16:53 lipido * plugins_src/: es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreListener.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/OperationDefinition.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/Operation.java, es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/OperationWrapper.java: Added initial support for enabling/disabling operations through Core.enableOperation and Core.disableOperation 2009-01-13 18:39 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java: Added the method executeOperation(op, params), which is runs the operation using the core, but by also having the progress monitoring behaviour (showing progress dialog) 2008-10-13 16:19 lipido * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/: Core.java, CoreUtils.java, clipboard/Clipboard.java: Added some useful utilities to invoke operations directly by the Core API. - executeOperation given the 'real' parameter values (no ParamSpec) - getOperation(uid) - getClipboardItem(Object)
2009-06-08 20:58 mrjato * plugins_src/: es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ClipboardParamProvider.java, es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLMultifileGenerator.java: Fixed Documentor error: Images don't appear on Multifile HTMLs. ClipboardParamProvider now allows to change the combo box null item text. 2009-06-05 18:15 mrjato * .classpath: [no log message] 2009-06-04 13:33 mrjato * .classpath, .cvsignore, plugins_src/es.uvigo.ei.sing.aibench.documentor/cobra.jar, plugins_src/es.uvigo.ei.sing.aibench.documentor/js.jar, plugins_src/es.uvigo.ei.sing.aibench.documentor/plugin.xml, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/CobraHTMLView.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateHTML.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateHTMLMultifile.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateHTMLWithCSS.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/GenerateTXT.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/HTMLView.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/HtmlBlockPanelDoc.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/Introspect.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/SaveString.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/ScanAIBench.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/Generator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLCSSTextGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLMultifileDocument.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLMultifileGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLTextDocument.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/HTMLTextGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/TXTGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/TemplateGenerator.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/css/documentor.css, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/attach.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/data.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/datatype.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/plugin.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/process.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/generators/icons/view.png, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/AIBenchInstanceModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/DatatypeModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/DatatypeModelFactory.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/OperationModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/OperationModelFactory.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/PluginModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/PluginModelFactory.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/PortModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/TransformerModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/ViewModel.java, plugins_src/es.uvigo.ei.sing.aibench.documentor/es/uvigo/ei/sing/aibench/documentor/models/ViewModelFactory.java, create-plugins-jars.xml: Added Documentor Plugin. 2009-05-30 12:38 lipido * plugins_src/: es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/ParamSpec.java, es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/PrimitiveParamProvider.java: Bugfix: char input ports now supported and allowing special chars like \t \n, etc 2009-05-27 13:41 lipido * sdk/plugins_src/sampleplugin/sampleplugin/Sum.java: Added order attributes in the @Port annotations of the sample plugin 2009-05-27 13:26 lipido * conf/aibench.conf: configuration changed: to-install plugins now installs by default 2009-05-27 12:46 mrjato * .classpath, lib/javahelp/dtd/favorites_2_0.dtd, lib/javahelp/dtd/helpset_2_0.dtd, lib/javahelp/dtd/index_2_0.dtd, lib/javahelp/dtd/map_2_0.dtd, lib/javahelp/dtd/toc_2_0.dtd: Fixed classpath. 2009-05-25 09:23 mrjato * lib/javahelp/dtd/favorites_2_0.dtd, create-plugins-jars.xml, conf/core.conf, help/helpset.hs, help/map.xml, help/toc.xml, help/HTML/Datatype.html, help/HTML/Operation.html, help/HTML/View.html, help/HTML/index.html, lib/javahelp/dtd/helpset_2_0.dtd, lib/javahelp/dtd/index_2_0.dtd, lib/javahelp/dtd/map_2_0.dtd, lib/javahelp/dtd/toc_2_0.dtd, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/datatypes/annotation/Clipboard.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/datatypes/annotation/Structure.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamsWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchTreeMouseListener.java: Now the framework allows adding help information to the operations, datatypes and views using Java Help or through URLs. See "help" directory and "core.conf" configuration. The "Workbench" class also include new API methods to programatically show help topics. 2009-05-20 11:50 mrjato * create-plugins-jars.xml: [no log message] 2009-05-18 17:06 mrjato * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/CollectorAdapterFactory.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/EndpointsFactory.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Executable.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/IncomingEndPoint.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/IncomingEndPointForwarder.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Metadata_old.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/OutcomeTransformer.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Parallelizer.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/SerialExecutable.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/SimpleIncomingEndPoint.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/StandardExecutable.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Tee.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/TypesChecker.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/execution/Unifier.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/ArgsRenamerPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/CompositedPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/ParallelizerPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/PipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/StandardPipeDefinition.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/pipespecification/storage/TeeDefinition.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/clipboard/Clipboard.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/datatypes/annotation/Datatype.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/DataSource.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/Operation.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/DefaultViewFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ArrayParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamsWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/interfaces/AbstractViewFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/interfaces/IViewFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchJTreeManager.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchTreeMouseListener.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/utilities/Utilities.java, sdk/plugins_src/sampleplugin/plugin.xml, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, src/org/platonos/pluginengine/IPluginConfiguration.java, create-plugins-jars.xml, lib/jhall.jar, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/OperationDefinition.java: Startup problem fixed: The splash screen didn't disappear when some plugin had the "start" attribute equals to "false". First steps to add help information to the operations, datatypes and views using Java Help or through URLs. 2009-05-04 11:00 mrjato * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Lifecycle.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, conf/aibench.conf, conf/pluginmanager.conf, conf/template.xml, conf/workbench.conf, plugins_src/es.uvigo.ei.aibench.core/plugin.xml, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/AbstractParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ArrayParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ClipboardParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/EnumParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/EnumParamProviderCombo.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/FileParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamProviderFactory.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/ParamsWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/PrimitiveParamProvider.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/add.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/fileopen.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/operations.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/images/remove.png, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tablelayout/TableLayout.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchJTreeManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLabel.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/repository/PluginDownloader.java, src/es/uvigo/ei/aibench/repository/PluginInstaller.java, src/es/uvigo/ei/aibench/repository/info/PluginInfo.java, src/org/platonos/pluginengine/Plugin.java, src/org/platonos/pluginengine/PluginEngine.java, src/org/platonos/pluginengine/PluginXmlParser.java, src/org/platonos/pluginengine/StartPluginQueue.java, src/org/platonos/pluginengine/plugin.xsd, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/Port.java, plugins_src/es.uvigo.ei.aibench.workbench/plugin.xml: - Configurable plugin lifecycle start order. - Fixed starting problems. - Default validating input dialogs. - Icons added in input dialogs. - AIBench clipboard tree model modified in order to ease customizations. - PluginManager: Added a blacklist of installable plugins under plugins_install directory.- PluginManager: Disableable plugin installation at startup. 2009-04-30 11:00 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/FileParamProvider.java: fixing bug: FileParamProvider never sends null. If the selected file is "", now it is null 2009-04-23 20:00 paulo * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchJTreeManager.java: new option in conf/workbench.conf allows for the clipboard tree to be not organized by classes 2009-04-23 19:59 paulo * conf/workbench.conf: [no log message] 2009-04-20 20:13 mrjato * src/es/uvigo/ei/aibench/repository/info/PluginInfo.java: [no log message] 2009-04-20 19:53 mrjato * create-plugins-jars.xml: [no log message] 2009-04-20 19:36 mrjato * create-plugins-jars.xml: [no log message] 2009-04-15 11:40 mrjato * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/inputgui/: ArrayParamProvider.java, FileParamProvider.java: File array creation improved with a multiple file selection dialog. Added the remove option to the array creation component. Minor fixes to the FileParamProvider. 2009-04-14 13:01 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/: PluginActionComponent.java, PluginInformationComponent.java, RepositoryInformationPane.java: Now the PluginActionComponent shows the full version. 2009-04-14 12:14 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/RepositoryInformationPane.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginManager.java: Splash reactivated. Plugins Information panel color bug fixed: The background color of the plugins and dependencies now represents de current state of the plugins. Plugins Information panel install bug fixed: Now the install option only appears if the plugin is not installed. (Previously also appeared when the dependency plugin was disabled) 2009-04-14 11:39 lipido * .classpath: fix sampleplugin compilation & distribution 2009-04-14 11:10 mrjato * create-plugins-jars.xml: Fix in the create-plugins-jars.xml. 2009-04-14 09:30 lipido * .classpath: [no log message] 2009-04-14 00:17 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/resources/combo-gtk.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/resources/sort-gtk-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/resources/sort-gtk-up.png, src/org/platonos/pluginengine/IPluginConfiguration.java, src/org/platonos/pluginengine/Plugin.java, src/org/platonos/pluginengine/PluginConfiguration.java, src/org/platonos/pluginengine/PluginDefaultConfiguration.java, src/org/platonos/pluginengine/PluginEngine.java, src/org/platonos/pluginengine/PluginFileConfiguration.java, src/org/platonos/pluginengine/PluginXmlParser.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicBusyLabelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicCalendarHeader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicCalendarHeaderHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicCalendarRenderingHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicDatePickerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicErrorPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicHeaderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicHyperlinkUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicLoginPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicMonthViewUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicMultiThumbSliderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTaskPaneContainerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTipOfTheDayUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/BasicTitledPanelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarHeaderHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarRenderingHandler.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/CalendarState.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/TextCrossingPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_en_GB.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_en_US.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay24.gif, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/month-down.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_sv.properties, src/org/platonos/pluginengine/Dependency.java, src/org/platonos/pluginengine/PluginVersion.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/AbstractActionExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ActionContainerFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ActionFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ActionManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/BoundAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/CompositeAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/OpenBrowserAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ServerAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/TargetManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/Targetable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/TargetableAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/TargetableSupport.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/ToggleActionPropertyChangeListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/action/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/workarounds/MacOSXPopupLocationFix.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/workarounds/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorInfo.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorLevel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorReporter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/ErrorSupport.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/error/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_pl_PL.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/DatePicker_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/ErrorPane_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/LoginPane_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/TipOfTheDay_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/error16.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/month-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/sort-jlf-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/sort-jlf-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/basic/resources/swingx_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsClassicLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsClassicStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsClassicTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsHyperlinkUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/WindowsTipOfTheDayUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/DefaultXTreeCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/DefaultXTreeCellRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/TreeModelSupport.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tree/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXButton.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXCollapsiblePane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXColorSelectionButton.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXDialog.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXFindBar.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXFindPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXGlassBox.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXGradientChooser.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXHyperlink.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXImagePanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXList.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXMonthView.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXSearchPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTableHeader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTitledSeparator.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTreeTable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/MultiSplitLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/RepaintManagerX.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/StackLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/SwingXUtilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/DropShadowBorder.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/IconBorder.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/MatteBorderExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/border/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/AbstractComponentAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/BusyLabelAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/BusyLabelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ColumnControlButtonAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ColumnHeaderRendererAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ComponentAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/DatePickerAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/DatePickerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/DefaultsList.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ErrorPaneAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ErrorPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/HeaderAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/HeaderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/HyperlinkAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/LoginPaneAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/LoginPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/LookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MonthViewAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MonthViewUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MultiThumbSliderAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/MultiThumbSliderUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/PainterUIResource.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/ShapeUIResource.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/StatusBarAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/StatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneContainerAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneContainerUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TipOfTheDayAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TipOfTheDayUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TitledPanelAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/TitledPanelUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/UIColorHighlighterAddon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/UIManagerExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/DefaultTip.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/DefaultTipOfTheDayModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/TipLoader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/TipOfTheDayModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/tips/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/AbstractPatternPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/ForwardingRepaintManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/HorizontalLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXBusyLabel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXDatePicker.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXEditorPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXErrorPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXFrame.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXGraph.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXHeader.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXImageView.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLabel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLoginDialog.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXLoginPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXMultiSplitPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXMultiThumbSlider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXRadioGroup.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXRootPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXStatusBar.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTaskPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTaskPaneContainer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTipOfTheDay.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTitledPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/JXTree.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/TranslucentRepaintManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/UIAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/VerticalLayout.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/DefaultUserNameStore.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/JAASLoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/JDBCLoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/KeyChain.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/PasswordStore.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/UserPermissions.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multisplitpane/DefaultSplitPaneModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multisplitpane/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/AbstractSearchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/ListSearchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/PatternModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/SearchFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/Searchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/TableSearchable.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/search/TreeSearchable.java, src/es/uvigo/ei/aibench/repository/Inflater.java, src/es/uvigo/ei/aibench/repository/NotInitializedException.java, src/es/uvigo/ei/aibench/repository/PluginDownloadAdapter.java, src/es/uvigo/ei/aibench/repository/PluginDownloadEvent.java, src/es/uvigo/ei/aibench/repository/PluginDownloadListener.java, src/es/uvigo/ei/aibench/repository/PluginDownloader.java, src/es/uvigo/ei/aibench/repository/PluginInstaller.java, conf/pluginmanager.conf, conf/plugins.conf, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/LoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/SimpleLoginService.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/auth/UserNameStore.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/BorderHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/CompoundHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/DefaultSelectionMapper.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/HighlightPredicate.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/Highlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/IconHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PainterHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PatternFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PatternMatcher.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PatternPredicate.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PipelineEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/PipelineListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ResetDTCRColorHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SearchPredicate.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ShuttleSorter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SizeSequenceMapper.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SortKey.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SortOrder.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/MetalLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/MetalStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/MetalTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/metal/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/AbstractRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/BooleanValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/CellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/CheckBoxProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/ComponentProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultListRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultTableRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultTreeRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/DefaultVisuals.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/FormatStringValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/HyperlinkProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/IconValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/IconValues.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/JRendererCheckBox.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/JRendererLabel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/JXRendererHyperlink.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/LabelProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/ListCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/MappedValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/PainterAware.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/StringValue.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/StringValues.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/TableCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/TreeCellContext.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/WrappingIconPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/WrappingProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/renderer/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/AbstractHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ColorHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ComponentAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/Filter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/FilterPipeline.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/HighlighterFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SelectionMapper.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/ShadingColorHighlighter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/SortController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/Sorter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/decorator/UIDependent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/AbstractMultiThumbModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/DefaultMultiThumbModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/MultiThumbModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/Thumb.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbDataEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbDataListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/ThumbRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/TrackRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/multislider/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AbstractAreaPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AbstractLayoutPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AbstractPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/AlphaPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/BusyPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/CapsulePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/CheckerboardPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/CompoundPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/GlossPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/ImagePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/MattePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/Painter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/PainterGlasspane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/PainterIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/PinstripePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/RectanglePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/ShapePainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/TextPainter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_da.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/ErrorPane_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/combo-osx.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/sort-osx-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/resources/sort-osx-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_cs.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_it.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_pl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_sv.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-xp-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/ListRolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/ListRolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/RolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/RolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/RolloverRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TableRolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TableRolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TreeRolloverController.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/rollover/TreeRolloverProducer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/AbstractMutableTreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/AbstractTreeTableModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/DefaultMutableTreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/DefaultTreeTableModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/FileSystemModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/MutableTreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/SimpleFileSystemModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/TreeTableCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/TreeTableModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/TreeTableNode.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/treetable/package-info.java, src/org/platonos/pluginengine/version/PluginDependencyMinMaxVersion.java, src/org/platonos/pluginengine/version/PluginDependencySingleVersion.java, src/org/platonos/pluginengine/version/PluginInstanceVersion.java, src/org/platonos/pluginengine/version/PluginSingleVersion.java, src/org/platonos/pluginengine/version/PluginVersion.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_de.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_es.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_fr.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_nl.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/TipOfTheDay_pt_BR.properties, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/combo-w2k.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/combo-xp.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/silver-statusbar-left.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/silver-statusbar-middle.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/silver-statusbar-right.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-w2k-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-w2k-up.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/sort-xp-dn.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/statusbar-left.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/statusbar-middle.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/statusbar-right.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/windows/resources/tipoftheday.png, plugins_lib/es.uvigo.ei.sing.aibench.pluginmanager/swingx.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AbstractAutoCompleteAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteDecorator.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteStyledDocument.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ComboBoxAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ComboBoxCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/DelegatingDocumentEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ListAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/package-info.java, lib/tar.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteComboBoxEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteDocument.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteFocusAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompleteKeyAdapter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/AutoCompletePropertyChangeListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/ObjectToStringConverter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/TextComponentAdaptor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/AbstractDateSelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/CalendarUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DatePickerFormatter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DateSelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DateSpan.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DateUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DaySelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/DefaultDateSelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/SingleDaySelectionModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/calendar/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/BlendComposite.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/ColorUtilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/GraphicsUtilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/ReflectionRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/ShadowRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/graphics/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/ColumnControlIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/EmptyIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/SortArrowIcon.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/icon/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/AbstractAreaEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/AreaEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/GlowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/InnerGlowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/InnerShadowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/NeonBorderEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/ShadowPathEffect.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/painter/effects/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/LinuxLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/linux/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnControlButton.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/TableColumnModelExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/Contract.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/JVM.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/OS.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/PaintUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/ShapeUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/UIManagerUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/Utilities.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/WindowUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/util/package-info.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/ListComboBoxModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/MapComboBoxModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/MacOSXErrorPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/MacOSXLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/MacOSXStatusBarUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/macosx/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnControlPopup.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnFactory.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/ColumnHeaderRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/DatePickerCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/DefaultTableColumnModelExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/LabelProperties.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/NumberEditorExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/NumberEditorNumberFormat.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/TableColumnExt.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/table/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginManager.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/EnumComboBoxModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/combobox/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/misc/GlossyTaskPaneUI.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/misc/package-info.java, doc/.cvsignore, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/activation.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/BooleanCellEditor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginActionProvider.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/PluginInformationPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/gui/RepositoryInformationPane.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/DateSelectionEvent.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/DateSelectionListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/EventListenerMap.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/TableColumnModelExtListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/WeakEventListenerList.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/event/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/AbstractFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/ColorTintFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/FastBlurFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/GaussianBlurFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/StackBlurFilter.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/image/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/nimbus/NimbusLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/nimbus/package-info.java, src/es/uvigo/ei/aibench/repository/info/DependencyInfo.java, src/es/uvigo/ei/aibench/repository/info/InstallInfo.java, src/es/uvigo/ei/aibench/repository/info/PluginInfo.java, .classpath, .cvsignore, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/batik.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/plugin.xml, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swing-worker.jar, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/beans/AbstractBean.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/beans/AbstractSerializableBean.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/beans/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/autocomplete/doc-files/example.gif, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/ColorUtil.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/EyeDropperColorChooserPanel.form, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/EyeDropperColorChooserPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/GradientPreviewPanel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/GradientThumbRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/GradientTrackRenderer.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/colorwell.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/mag.png, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/color/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/geom/Morphing2D.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/geom/Star2D.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/geom/package-info.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/AbstractHyperlinkAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/EditorPaneLinkVisitor.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/LinkModel.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/hyperlink/LinkModelAction.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/motif/MotifLookAndFeelAddons.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/org/jdesktop/swingx/plaf/motif/package-info.java, src/org/platonos/pluginengine/event/PluginEngineEventType.java: Basic PluginManager functionality completed. PluginDownloader and PluginInstaller have been introduced to manage the plugin download from a repository and to manage the installation/update of the plugins after been downloaded. The PluginManager on the aibench.pluginmanager plugin encapsulates the PluginDownloader and PluginInstaller to manage the plugin installation and updating. As well as a new GUI component has been created to interact with the PluginManager. The Plugin versioning system and classes have been reimplemented to give a better version support. 2009-03-27 14:17 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java, src/es/uvigo/ei/aibench/Launcher.java: Added a task that executes the PluginEngine.shutdown() method when the application ends. This way the PluginLifecycle.stop() method of each Plugin are invoked when the application ends. 2009-03-24 10:54 lipido * .classpath: [no log message] 2009-03-24 10:42 mrjato * plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/: swingx-0.9.5.zip, swingx-0.9.5-javadoc.zip, swingx-0.9.5-src.zip, es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java: swingx source, javadoc and lib zip files removed. 2009-03-24 10:16 mrjato * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, .settings/org.eclipse.core.resources.prefs, .settings/org.eclipse.jdt.core.prefs, .settings/org.eclipse.jdt.ui.prefs, plugins_lib/es.uvigo.ei.sing.aibench.pluginmanager/swingx.jar, plugins_src/.cvsignore, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreListener.java, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/tree/AIBenchTreeMouseListener.java, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/es/uvigo/ei/sing/aibench/pluginmanager/PluginInformationComponent.java, plugins_src/es.uvigo.ei.sing.aibench.shell/es/uvigo/ei/sing/aibench/shell/SampleGUI.java, plugins_src/es.uvigo.ei.sing.aibench.shell/es/uvigo/ei/sing/aibench/shell/SampleOperation.java, src/es/uvigo/ei/aibench/Launcher.java, src/es/uvigo/ei/aibench/SplashFrame.java, src/org/platonos/pluginengine/Dependency.java, src/org/platonos/pluginengine/Plugin.java, src/org/platonos/pluginengine/PluginConfiguration.java, src/org/platonos/pluginengine/PluginEngine.java, .classpath, create-plugins-jars.xml, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swingx-0.9.5.zip, sdk/plugins_src/.cvsignore, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/plugin.xml, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swingx-0.9.5-javadoc.zip, plugins_src/es.uvigo.ei.sing.aibench.pluginmanager/swingx-0.9.5-src.zip, conf/plugins.conf, src/org/platonos/pluginengine/event/PluginEngineEventType.java: Information Plugin created. This plugin shows information about the version, dependencies and status of the plugins installed. Severe changes done on the plugin engine for a better control of the plugins' status. With the file "plugins.conf" the user can control the plugins' load and he also can enable/disable plugins. 2009-03-20 23:14 mrjato * src/org/platonos/pluginengine/: ExtensionPoint.java, Plugin.java, PluginEngineException.java, PluginXmlNode.java, plugin.xsd, Extension.java, ExtensionClassLoader.java, PluginClassLoader.java, PluginEngine.java, PluginVersion.java, PluginXmlParser.java, StartPluginQueue.java: "plugin.xsd" modified to allow the "version", "minversion" and "maxversion" attributes on the "dependency" elements. With this modification the plugin engine is able to manage versions on the dependencies between plugins. Code clearing and updating to Java 1.5 syntax. 2009-02-20 08:54 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java: added more methods to invoke operations programmatically 2009-02-20 08:54 lipido * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreUtils.java: Added support for automatic paramspec generation if the type is Serializable 2009-02-20 08:53 lipido * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java: added a method to get an operation by its uid 2009-02-11 12:25 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java: Changed the title of info messages from "Warning" to "Information" 2009-02-11 12:22 lipido * .classpath, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java: removing String.isEmpty call, which is since 1.6 2009-02-06 20:21 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java: Make the toolbar aware of enabling/disabling operations 2009-02-06 17:45 paulo * conf/workbench.conf: [no log message] 2009-02-06 17:33 paulo * conf/workbench.conf, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/MainWindow.java, plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, sdk/plugins_src/sampleplugin/plugin.xml, .project, plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/OperationDefinition.java: Toolbar inclusion ========== modified classed include: -Core.java -OperationDefinition.java -MainWindow.java -Workbench.java modified files include: -conf/Workbench.conf -sdk/plugins_src/sampleplugin 2009-02-05 16:53 lipido * plugins_src/: es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/Core.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/CoreListener.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/OperationDefinition.java, es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/operation/annotation/Operation.java, es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/OperationWrapper.java: Added initial support for enabling/disabling operations through Core.enableOperation and Core.disableOperation 2009-01-13 18:39 lipido * plugins_src/es.uvigo.ei.aibench.workbench/es/uvigo/ei/aibench/workbench/Workbench.java: Added the method executeOperation(op, params), which is runs the operation using the core, but by also having the progress monitoring behaviour (showing progress dialog) 2008-10-13 16:19 lipido * plugins_src/es.uvigo.ei.aibench.core/es/uvigo/ei/aibench/core/: Core.java, CoreUtils.java, clipboard/Clipboard.java: Added some useful utilities to invoke operations directly by the Core API. - executeOperation given the 'real' parameter values (no ParamSpec) - getOperation(uid) - getClipboardItem(Object)
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?
Thanks for your review!
Get credit for your review by logging in via OpenID. Click your account provider: