A platform-agnostic push notification system (in Java for now)