src/jdk.jlink/share/classes/jdk/tools/jlink/internal/plugins/ReleaseInfoPlugin.java
--- a/src/jdk.jlink/share/classes/jdk/tools/jlink/internal/plugins/ReleaseInfoPlugin.java Wed Dec 05 11:01:44 2018 +0100
+++ b/src/jdk.jlink/share/classes/jdk/tools/jlink/internal/plugins/ReleaseInfoPlugin.java Wed Dec 05 19:22:04 2018 +0530
@@ -108,7 +108,11 @@
case "del": {
// --release-info del:keys=openjdk,java_version
- Utils.parseList(config.get(KEYS)).stream().forEach((k) -> {
+ String keys = config.get(KEYS);
+ if (keys == null || keys.isEmpty()) {
+ throw new IllegalArgumentException("No key specified for delete");
+ }
+ Utils.parseList(keys).stream().forEach((k) -> {
release.remove(k);
});
}