Ora Tool Code

VERSIONE 4.0: aggiunta la possibilità di aggiungere PLUGIN. Si usa la libreria Java Plug-in Framework (JPF) e i plugin devono essere in uno ZIP nella cartella "plugins". La classe del plugin va indicata nel file "plugin.xml" messo dentro lo ZIP. Invece nella cartella "plugins_src" sono stati messi degli ZIP con i sorgenti dei progetti dei Plugin (utili se si vuole modificare un plugin ma non necessari all'esecuzione). Per ora ce ne sono DUE: uno è il GATool (che nella versione 3 di OraTool fu integrato al suo interno, mentre ora è stato totalmente isolato in questo plugin) e l'altro è il "Demo Plugin", un plugin di esempio che può servire come base per creare ulteriori plugin (contiene l'XML di definizione, la classe di Plugin e una finestra, con messaggi "internazionalizzati", che recupera la connessione al DB usata nell'OraTool).