public void addDataSource(String URL){
int i;
final DataSourceRootElement rootData = (DataSourceRootElement)root.getUserObject();
if (!urls.containsKey(URL)){ // Jules Grengbondai
ServerMetadata smd = new ServerMetadata(URL);
DataSourceTreeElement ds[] = smd.discoverDataSources();
if (ds != null){
try {
urls.put(URL, new URL(URL));
} catch (java.net.MalformedURLException e) {
// ignored