Code Review Request, 8148500: [Spec] Enabled SSL Protocols may not be used

[Xuelei Fan]

Hi,

Please review this spec update:

   http://cr.openjdk.java.net/~xuelei/8148500/webrev/

This fix updates the specification to indicate that an enabled protocol
may never be used.  No implementation and behavior update.

Thanks,
Xuelei