I am using workspaces and would like to be able to have different default connections per workspace. However, if I set a default connection for a workspace (Oracledevtools: Default Connection), it does not work at all. The workspace will not automatically connect to Oracle. The default connection works fine if I only set it at the user level.