An Android application for communicating with the demerit-manager server.