Deprecate java.security.Provider(String, double, String), add Provider(String, String, String)

In JEP 223 for JDK 9 (http://openjdk.java.net/jeps/223), versions are defined to be "a non-empty sequence of non-negative integer numerals without leading or trailing zeros, separated by period characters (U+002E)". A String rather than a double is a more suitable representation.

In JDK 9, deprecate:

  Provider(String name, double version, String info)

Add:

  Provider(String name, String version, String info)

Careful thought is necessary to find a suitable mapping from String to double so that this method continues to be useful:

  public double getVersion()