A new phenomenon has turned up: the proximity sensor app is blanking the screen also when the phone is not locked and i'm just using it.... Stopping and restarting the service solves that, but i wonder how this has happened.
Some background info: I'm using the standard vertical slider lock. The phone has been running one day and one night since boot. At night, i set the phone in a deskstand with the standard nightclock running.