//@JOEL: display.getSize() alternative to support old and newer devices:

//@JOEL: display.getSize() alternative to support old and newer devices:

avoids a NoSuchMethodError on older devices.