Enumeration<URL> resources = loader.getResources(CeylonExampleTool.class.getName().replace(".", "/")+".properties");
while (resources.hasMoreElements()) {
result.add(resources.nextElement());
}
} catch (IOException e) {
throw new ToolException(e);
}
return result.elements();
}