I modified/then deleted my org.dslforge.workspace.config.configuration extension point (and path contribution). Recreating an org.dslforge.workspace.config.configuration - where can I find the schema for the extension point; without a schema I get a java.sql.SQLException in terms of the workspace going to the default value. Which schema file could one apply to this config extension point?