[Truffle] Back out of commit that merged in Truffle 0.4, as it's broken for Java 7.