Travis Integration.
Update in the hope that travis will start.
Stop quiet build.
Re-enable quiet build again!
Merge branch 'master' of github.com:phillord/owlapi