A notification management application for Android