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