Add known issue disclaimer

pmd-dist/src/main/scripts/run.sh

@@ -78,7 +78,7 @@ jre_specific_vm_options() {
   # java_ver is eg "18" for java 1.8, "90" for java 9.0
   java_ver=$(java -version 2>&1 | sed -n ';s/.* version "\(.*\)\.\(.*\)\..*"/\1\2/p;')
   options=""
-  
+
   if [ $java_ver -ge 90 ] && [ "${APPNAME}" = "designer" ]
   then # open internal module of javafx to reflection
     options="--add-opens javafx.controls/javafx.scene.control.skin=ALL-UNNAMED"

pmd-ui/src/main/java/net/sourceforge/pmd/util/fxdesigner/MainDesignerController.java

@@ -237,6 +237,8 @@ public class MainDesignerController implements Initializable, SettingsOwner {
      */
     public void onNodeItemSelected(Node selectedValue) {
         nodeInfoPanelController.displayInfo(selectedValue);
+        // The following line causes problems, since it wipes out the name occurrence highlighting,
+        // but it's already fixed in a PR to come soon
         sourceEditorController.clearNodeHighlight();
         sourceEditorController.highlightNodePrimary(selectedValue);
         sourceEditorController.focusNodeInTreeView(selectedValue);