A port of Guava for PHP