Use a more recent version of guava

Jenkins has moved forward to a point where it's no longer compatible
with the guava 12.0.0 that we were using. This commit abandons
Eclipse Orbit as the source for guava (it's very much behind) and
uses maven central instead. A change in IntegerCluster was also needed
to comply with a non compatible API change in guava.