1. 2018-11-16 Re: Building on Ubuntu 18.10 openjdk-o Tom Schindl 2. 2018-11-16 Building on Ubuntu 18.10 openjdk-o Giuseppe Barbieri