mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-17 17:07:53 +00:00
Use numbered properties for --add-module options so that multiple --add-module options can be supported. Reviewed-by: coleenp, gziemski, lfoltan, ccheung