Even more elegant Android notification code