RFR: JDK-8066187 - Platform-registered Devices are successfully removed from dio.properties file on a call to DeviceManager.unregister()

[Sergey Nazarkin]

Looks OK for me

/Sergey

On 20.01.2015 18:18, alexey mironov wrote:
> issues: https://bugs.openjdk.java.net/browse/JDK-8066187
> webrev: http://cr.openjdk.java.net/~amironov/8066187/
>
> Please review the changes made in order to add predefined option for 
> default devices.
>
> Regards,
> Alexey