public PluginDesignProvider createDesignProvider(WGADesign design, WGDatabase db, Map<String, String> options) throws WGADesignConfigurationException {
try {
WGAPlugin plugin = getPlugin(design);
PluginDesignProvider designProvider = new PluginDesignProvider(design.createDesignReference(), _core, db, plugin.buildDatabaseKey(), options);
return designProvider;
}
catch (WGADesignConfigurationException e) {
throw e;
}