Correct a problem the prevents Findbugs to display correctly on github preview
Merge branch 'master' of https://github.com/pjcarreira/software-engineering