Change to use JDK8 for compilation

[surli]

Fix #1519

[monperrus]

should we also change the animal sniffer?

[surli]

should we also change the animal sniffer?

I just did it, but is it still used?

[monperrus]

thanks. I thing it is automatically used in the verify phase, correct?

…

On 9/12/17 10:30 AM, Simon Urli wrote: should we also change the animal sniffer? I just did it, but is it still used? — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#1528 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAxDUurALoyWhLZOzVJTxOVXBl9de1BOks5shkFCgaJpZM4PTO4k>.

[surli]

I thing it is automatically used in the verify phase, correct?

Just checked in the log, apparently it's still there but it's really not verbose at all: https://travis-ci.org/INRIA/spoon/builds/274223429#L6405