Upgrade Java bindings for Scala 2.13

[fpoli]

@Aurel300 This should fix the build.

Closes #281.

[Aurel300]

I think Fábio mentioned some segfaults with Java 11 and recommended OpenJDK 15?

[fpoli]

I think Fábio mentioned some segfaults with Java 11 and recommended OpenJDK 15?

Yes. I'm running with 11 just to see the error message at least once, to recognize it in future debugging sessions :)

[fpoli]

Also, I still have to find a nice way of installing OpenJDK 15 on Ubuntu 18.04 (the Github runner) and I have to find some time to upgrade from my Ubuntu 16.04 😞

[Aurel300]

FWIW I needed to do a clean build (./x.py clean before ./x.py build --all), because I was getting errors about -ljvm not resolving.

Also, I just got this message when running a test:

SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/r/prusti-dev/viper_tools/backends/silicon.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/r/prusti-dev/viper_tools/backends/ch.qos.logback.logback-classic-1.2.3.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [ch.qos.logback.classic.util.ContextSelectorStaticBinder]

Seems to just be informative but maybe something is wrong with how silicon.jar is packaged?

[vakaras]

Also, I just got this message when running a test:

SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/r/prusti-dev/viper_tools/backends/silicon.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/r/prusti-dev/viper_tools/backends/ch.qos.logback.logback-classic-1.2.3.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [ch.qos.logback.classic.util.ContextSelectorStaticBinder]

Seems to just be informative but maybe something is wrong with how silicon.jar is packaged?

I think @aterga fixed this last time.

cc @fabiopakk

[fpoli]

FWIW I needed to do a clean build (./x.py clean before ./x.py build --all), because I was getting errors about -ljvm not resolving.

Also, I just got this message when running a test:

SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/r/prusti-dev/viper_tools/backends/silicon.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/r/prusti-dev/viper_tools/backends/ch.qos.logback.logback-classic-1.2.3.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [ch.qos.logback.classic.util.ContextSelectorStaticBinder]

Seems to just be informative but maybe something is wrong with how silicon.jar is packaged?

Indeed, it seems that there are duplicate classes. I already opened an issue at viperproject/viperserver#26