Safe futures for Java

A future is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program.