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

[alexey.mironov at oracle.com]

Changeset: c35a455d914d
Author:    amironov
Date:      2015-01-21 20:52 +0300
URL:       http://hg.openjdk.java.net/dio/dev/rev/c35a455d914d

8066187: Platform-registered Devices are successfully removed from dio.properties file on a call to DeviceManager.unregister()
Summary: Added predefined:true to dio.properties-raspberrypi
Reviewed-by: snazarki
Contributed-by: alexey.mironov at oracle.com

! config/dio.properties-raspberrypi