Merge pull request #6511 from chrisrueger/6507-pedantic-change-requires-eclipse-restart

-pedantic: Add hint that Eclipse restart is required

Author: chrisrueger

biz.aQute.bndlib/src/aQute/bnd/help/Syntax.java

@@ -576,7 +576,9 @@ null, null, new Syntax("name", "The display name of the developer", "name='Peter
 			"If set, is used a template to calculate the output file. It can use any macro but the ${@bsn} and ${@version} macros refer to the current JAR being saved. The default is bsn + \".jar\".",
 			OUTPUTMASK + "=my_file.zip", null, null),
 		new Syntax(PACKAGEINFOTYPE, "Sets the different types of package info.", PACKAGEINFOTYPE + "=osgi", null, null),
-		new Syntax(PEDANTIC, "Warn about things that are not really wrong but still not right.", PEDANTIC + "=true",
+		new Syntax(PEDANTIC,
+			"Warn about things that are not really wrong but still not right. Note: Currently a change to this instruction requires a restart of Eclipse.",
+			PEDANTIC + "=true",
 			"true,false", Verifier.TRUEORFALSEPATTERN),
 
 		new Syntax(PLUGIN, "Define the plugins.",

docs/_instructions/pedantic.md

@@ -5,8 +5,7 @@ title: -pedantic BOOLEAN
 summary: Warn about things that are not really wrong but still not right. 
 ---
 
-	protected void begin() {
-		if (isTrue(getProperty(PEDANTIC)))
-			setPedantic(true);
-	}
+When setting this instruction to `true` there will be more warnings about *things that are not really wrong but still not right*.
+It can be helpful to fix problems in your workspace.
 
+**Note for Eclipse users:** Currently a change to this instruction requires a restart of Eclipse. The Refresh-Workspace button is not enough.