tree 9f678131dc515f6d37520300b7e829f7fad79f24
parent 366d8eb7448f2eeb253dfc76e724af5ec3137109
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1578844014 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1578844014 +0100

Set Java source version to 13.

Change-Id: Ic3b2f5332f7a00c4153b80fdd063e223367fef6f