null, databaseIdentifier).getSQLEditorService(); if (s != null) { extendedLaunchSupport = s.getExtendedLaunchSupport();
_extendedLaunchSupport = s.getExtendedLaunchSupport(); if(_extendedLaunchSupport != null)
null, databaseIdentifier).getSQLEditorService(); if (s != null) { extendedLaunchSupport = s.getExtendedLaunchSupport();
_extendedLaunchSupport = s.getExtendedLaunchSupport(); if(_extendedLaunchSupport != null)