.getPreferenceStore().getString(
IDEInternalPreferences.WORKSPACE_NAME);
if (workspaceName != null && workspaceName.length() > 0) {
.getPreferenceStore().getString(
IDEInternalPreferences.WORKSPACE_NAME);
if (workspaceName != null && workspaceName.length() > 0) {