Guice: Version bump: 4.0 --> 4.2.0.

* Enables to build provisioning modules that do not implement empty
  configuration() methods.
* Additional bug fixes.
* Also update Guava to version 25.1 due to deps from guice.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

org.fortiss.af3.exploration.alg/.classpath

 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry exported="true" kind="lib" path="lib/guava-19.0.jar" sourcepath="lib/guava-19.0-sources.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/guava-25.1-jre.jar" sourcepath="lib/guava-25.1-jre-sources.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/opt4j-optimizers-SNAPSHOT-20161110.jar" sourcepath="lib/opt4j-optimizers-SNAPSHOT-20161110-sources.jar"/>
 	<classpathentry kind="lib" path="lib/commons-collections4-4.1.jar">
 		<attributes>
@@ -21,9 +21,9 @@
 	<classpathentry exported="true" kind="lib" path="lib/apfloat.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/jgrapht-ext-0.9.0.jar"/>
 	<classpathentry exported="true" kind="lib" path="lib/jgraphx-2.0.0.1.jar"/>
-	<classpathentry kind="lib" path="lib/guice-assistedinject-4.0.jar" sourcepath="lib/guice-assistedinject-4.0-sources.jar"/>
-	<classpathentry kind="lib" path="lib/guice-4.0.jar" sourcepath="lib/guice-4.0-sources.jar"/>
-	<classpathentry kind="lib" path="lib/guice-multibindings-4.0.jar" sourcepath="lib/guice-multibindings-4.0-sources.jar"/>
+	<classpathentry kind="lib" path="lib/guice-assistedinject-4.2.0.jar" sourcepath="lib/guice-assistedinject-4.2.0-sources.jar"/>
+	<classpathentry kind="lib" path="lib/guice-4.2.0.jar" sourcepath="lib/guice-4.2.0-sources.jar"/>
+	<classpathentry kind="lib" path="lib/guice-multibindings-4.2.0.jar" sourcepath="lib/guice-multibindings-4.2.0-sources.jar"/>
 	<classpathentry kind="lib" path="lib/jcommon-1.0.23.jar"/>
 	<classpathentry kind="lib" path="lib/jfreechart-1.0.19.jar" sourcepath="lib/jfreechart-1.0.19-src.jar"/>
 	<classpathentry kind="output" path="build"/>

org.fortiss.af3.exploration.alg/META-INF/MANIFEST.MF

@@ -11,12 +11,12 @@ Bundle-ClassPath: .,
  lib/apfloat.jar,
  lib/jgrapht-ext-0.9.0.jar,
  lib/jgraphx-2.0.0.1.jar,
- lib/guice-assistedinject-4.0.jar,
- lib/guice-4.0.jar,
- lib/guice-multibindings-4.0.jar,
+ lib/guice-assistedinject-4.2.0.jar,
+ lib/guice-4.2.0.jar,
+ lib/guice-multibindings-4.2.0.jar,
  lib/commons-collections4-4.1.jar,
  lib/opt4j-optimizers-SNAPSHOT-20161110.jar,
- lib/guava-19.0.jar,
+ lib/guava-25.1-jre.jar,
  lib/jfreechart-1.0.19.jar,
  lib/jcommon-1.0.23.jar
 Bundle-Vendor: fortiss GmbH

org.fortiss.af3.exploration.alg/build.properties

@@ -14,12 +14,12 @@ bin.includes = .,\
                lib/opt4j-viewer-3.1.3.jar,\
                lib/jgrapht-ext-0.9.0.jar,\
                lib/jgraphx-2.0.0.1.jar,\
-               lib/guice-assistedinject-4.0.jar,\
-               lib/guice-4.0.jar,\
-               lib/guice-multibindings-4.0.jar,\
+               lib/guice-assistedinject-4.2.0.jar,\
+               lib/guice-4.2.0.jar,\
+               lib/guice-multibindings-4.2.0.jar,\
                lib/commons-collections4-4.1.jar,\
                lib/opt4j-optimizers-SNAPSHOT-20161110.jar,\
-               lib/guava-19.0.jar,\
+               lib/guava-25.1-jre.jar,\
                lib/jfreechart-1.0.19.jar,\
                lib/jcommon-1.0.23.jar
 source.. = src/, \