tree e38d572e265d272da0de289d3fe264e3547af7fd
parent 4cee50680c38f10bb1b9af3c2f91a8097937893b
author Luca Milanesio <luca.milanesio@gmail.com> 1398413232 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1398413349 +0100

Alignment of ServerPluginProvider to latest interfaces

Adoption of Optional<T> and removal of name in the
ServerPluginProvider.

Aligned with the refs/changes/70/56270/3 on Gerrit

Change-Id: I994b8689576189295b5d9fc78b4ebcccbdca3787