| commit | a2cca722e85c2ed4c777e081cdf15ccb27417846 | [log] [tgz] |
|---|---|---|
| author | Stuart Marks <smarks@openjdk.org> | Mon Sep 09 14:11:10 2013 -0700 |
| committer | Stuart Marks <smarks@openjdk.org> | Mon Sep 09 14:11:10 2013 -0700 |
| tree | d8e18a5e24d29d6d5b6a0ef9effc60613c03267b | |
| parent | aefe8c12c047da8a4753780397be14ff5d390975 [diff] |
8023447: change specification to allow RMI activation to be optional Reviewed-by: darcy, alanb, olagneau