[eclipse] Force components in the main tab for launch configuration t…

…o render parentheses.

close #1036

Signed-off-by: Stéphane Galland <galland@arakhne.org>

main/coreplugins/io.sarl.eclipse/src/io/sarl/eclipse/launching/dialog/SARLAgentMainLaunchConfigurationTab.java

@@ -180,16 +180,19 @@ public void sreChanged(ISREInstall sre) {
 		if (this.defaultContextIdentifierButton != null) {
 			final String opt = options.getOrDefault(SRECommandLineOptions.CLI_DEFAULT_CONTEXT_ID, noOpt);
 			this.defaultContextIdentifierButton.setText(MessageFormat.format(Messages.MainLaunchConfigurationTab_11, opt));
+			this.defaultContextIdentifierButton.requestLayout();
 			this.defaultContextIdentifierButton.setEnabled(!Objects.equals(opt, noOpt));
 		}
 		if (this.randomContextIdentifierButton != null) {
 			final String opt = options.getOrDefault(SRECommandLineOptions.CLI_RANDOM_CONTEXT_ID, noOpt);
 			this.randomContextIdentifierButton.setText(MessageFormat.format(Messages.MainLaunchConfigurationTab_12, opt));
+			this.randomContextIdentifierButton.requestLayout();
 			this.randomContextIdentifierButton.setEnabled(!Objects.equals(opt, noOpt));
 		}
 		if (this.bootContextIdentifierButton != null) {
 			final String opt = options.getOrDefault(SRECommandLineOptions.CLI_BOOT_AGENT_CONTEXT_ID, noOpt);
 			this.bootContextIdentifierButton.setText(MessageFormat.format(Messages.MainLaunchConfigurationTab_13, opt));
+			this.bootContextIdentifierButton.requestLayout();
 			this.bootContextIdentifierButton.setEnabled(!Objects.equals(opt, noOpt));
 		}
 	}

main/coreplugins/io.sarl.eclipse/src/io/sarl/eclipse/launching/dialog/messages.properties

@@ -1,9 +1,9 @@
 MainLaunchConfigurationTab_0=Agent qualified name:
 MainLaunchConfigurationTab_1=Search...
 MainLaunchConfigurationTab_10=Launch Options
-MainLaunchConfigurationTab_11=Default identifier predefined in the SRE ({0})
-MainLaunchConfigurationTab_12=Random identifier ({0})
-MainLaunchConfigurationTab_13=Identifier computed from the boot agent type ({0})
+MainLaunchConfigurationTab_11=Default identifier predefined in the SRE ({0}) 
+MainLaunchConfigurationTab_12=Random identifier ({0}) 
+MainLaunchConfigurationTab_13=Identifier computed from the boot agent type ({0}) 
 MainLaunchConfigurationTab_15=Logging level ({0}):
 MainLaunchConfigurationTab_16=<level>
 MainLaunchConfigurationTab_2=You must specify the name of the agent to launch

tests/io.sarl.tests.api/src/main/java/io/sarl/tests/api/tools/TestAssertions.java

@@ -35,7 +35,6 @@
 import java.util.SortedSet;
 import java.util.TreeSet;
 import java.util.function.Supplier;
-import java.util.regex.Pattern;
 
 import com.google.common.base.Objects;
 import com.google.common.base.Predicate;