DeviceSettings: Fix compilation of DisplaySettings.java