hg: jdk9/dev/jdk: 8159855: Create an SPI for tools

[jonathan.gibbons at oracle.com]

Changeset: d238b1447080
Author:    jjg
Date:      2016-10-07 16:49 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/d238b1447080

8159855: Create an SPI for tools
Reviewed-by: mchung

+ src/java.base/share/classes/java/util/spi/ToolProvider.java
! src/java.base/share/classes/module-info.java
+ test/java/util/spi/ToolProviderTest.java