infra - Revision 1087686: /websites/production/river/content/release-doc/current/api/net/jini/jrmp