/**
* Returns the global configuration options.
*/
public Hashtable getGlobalOptions() throws ConfigurationException {
WSDDGlobalConfiguration globalConfig = deployment.
getGlobalConfiguration();
if (globalConfig != null)
return globalConfig.getParametersTable();
return null;
}