From de629ce47042fed5251b4e66c99e797e07b1d0be Mon Sep 17 00:00:00 2001
From: Joel Beckmeyer <joel@beckmeyer.us>
Date: Thu, 20 Jul 2023 14:33:09 -0400
Subject: [PATCH] fix openjdk link to ticket

---
 programs/openjdk.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/programs/openjdk.json b/programs/openjdk.json
index b40319c..2a031d0 100644
--- 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\nSee [ticket](https://bugs.java.com/bugdatabase/view_bug.do?bug_id=JDK-8290140)"
+            "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?bug_id=8290140)"
         }
     ],
     "name": "openjdk"
-- 
2.47.3