RFR 8170044: jshell tool: jshell missing from javax.tools.ToolProvider

[Robert Field]

Thanks Rémi.

Preferences is used internally (the default if no Map is provided). 
However, java.compiler (wherein lies javax.tools) does not depend on 
java.util.pref -- hence the adaption to Map.

-Robert

On 11/21/16 01:16, Remi Forax wrote:
> Looks goods to me !
> I supposed that the interface of java.util.pref is too big so every projects are poised to re-create its own prefs when they needs another backing store (here a HashMap).
>
> regards,
> Rémi
>
> ----- Mail original -----
>> De: "Robert Field" <robert.field at oracle.com>
>> À: "Kulla" <kulla-dev at openjdk.java.net>
>> Envoyé: Dimanche 20 Novembre 2016 08:27:48
>> Objet: RFR 8170044: jshell tool: jshell missing from javax.tools.ToolProvider
>> Bug:
>>
>>     https://bugs.openjdk.java.net/browse/JDK-8170044
>>     <https://bugs.openjdk.java.net/browse/JDK-8170044>
>>
>> Webrev:
>>
>>     http://cr.openjdk.java.net/~rfield/8170044v0.webrev/
>>     <http://cr.openjdk.java.net/~rfield/8170044v0.webrev/>
>>
>> Thanks,
>> Robert