tree 105d4cfeac7582ce0ffbbbd97c0640fc164266ed
parent e33598df22277795d5abc24a42be5cddeacc91d2
author Luca Milanesio <luca.milanesio@gmail.com> 1601992141 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1602018084 +0000

Update dev-{eclipse,intellij} development for Java 11

Update references in the development documentation for Eclipse
and IntelliJ by mentioning that Java 11 is the default.

Provide a workaround for still using Java 8 for the Eclipse-based
development.

Change-Id: I85e6d025df714b435edad58d14f71d2d9d5c0f56