tree 2051fd2a2c26cb36a7584bf59b2c126ba8373a56
parent a7362da170cab6c6c3ff269b46835317fbce3ed2
author Davide Pesavento <davidepesa@gmail.com> 1604290089 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1604434158 -0500

Enable checkstyle

Change-Id: Ib1944d6aad665656d8a99d6663f8dca31aaf916e