Add OpenJDK/JDK issue link (#170)

Co-authored-by: Ignacio Taranto <ignacio.taranto@eclypsium.com>

diff --git a/programs/openjdk.json b/programs/openjdk.json
index 376d9801679c70bc55da20449157ee59b7d89263..b40319c0dba41f4e47a76e9fe88071b3ad3826e7 100644 (file)
--- a/programs/openjdk.json
+++ b/programs/openjdk.json
@@ -3,7 +3,7 @@
         {
             "path": "$HOME/.java",
             "movable": false,
-            "help": "**Disclaimer: some applications don't respect this setting.**\n\nExport the following environment variable:\n\n```bash\nexport _JAVA_OPTIONS=-Djava.util.prefs.userRoot=\"$XDG_CONFIG_HOME\"/java\n```\n"
+            "help": "**Disclaimer: some applications don't respect this setting.**\n\nExport the following environment variable:\n\n```bash\nexport _JAVA_OPTIONS=-Djava.util.prefs.userRoot=\"$XDG_CONFIG_HOME\"/java\n```\n\nSee [ticket](https://bugs.java.com/bugdatabase/view_bug.do?bug_id=JDK-8290140)"
         }
     ],
     "name": "openjdk"