tree 0f30b80fa1debb153c818981646d48ad65701da5
parent 76dfb7d6b6723029579d29d77a721358c3e77e79
parent 4dd598776682c0580ee170c32c82a438f9e9c5f6
author Luca Milanesio <luca.milanesio@gmail.com> 1482995732 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1482995732 +0000

Merge "Port plugin to work on Java 7" into stable-2.13