tree 9badda923701efc9bbe8319aebfbc66eb8b2c787
parent e65d66e3228b1e3e19ced3f7c2f5a2a9a1589f47
author Rob McKenna <robm@openjdk.org> 1520181207 +0000
committer Rob McKenna <robm@openjdk.org> 1520181207 +0000

8198963: Fix new rmi property name

Reviewed-by: smarks