Devices with Ice Cream Sandwich can use on-screen soft keys, and this means that some of the screen estate is taken by these keys. I need to get the real screen resolution,
The API returns the number of pixels an app can use, so this is the correct result.