tree ed6c725ca7f12abbc42225c3ddac51c2a292709b
parent 60f8f8e3df2d7adbe159be10ba4ae647bf77b3b0
author Davide Pesavento <davide.pesavento@lip6.fr> 1533014896 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1533014896 -0400

Fix Travis-CI config; test against more JDK versions

Change-Id: Ia1ab497db05788da193e5ac86796f5df68ac8533