tree c366c12faa44111c5d7eac477a902ebb5fdcf523
parent 9e93731bb2539bdca0c526135ceb2a2e65093eaf
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1578859136 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1578859136 +0100

Downgrade Java source compatibility to Java 11.

Change-Id: Idd8bb8a95c4e3e48601fbeee836185642bc59785