allow different java versions on ubuntu, fix #1719