+ private static class ChooseSimanticsWorkspaceDialog extends ChooseWorkspaceDialog {
+
+ public ChooseSimanticsWorkspaceDialog(Shell parentShell, ChooseWorkspaceData launchData, boolean suppressAskAgain, boolean centerOnMonitor) {
+ super(parentShell, launchData, suppressAskAgain, centerOnMonitor);
+ }
+
+ @Override
+ protected void configureShell(Shell shell) {
+ super.configureShell(shell);
+ // Use product name in shell title instead of generic "Eclipse Launcher"
+ shell.setText(getWindowTitle());
+ }
+ }
+