Finalizing JPacman for Labwork 2013

Fixed checkstyle, and refactored some assertions.