functionaljava/functionaljava — pull request #23 by rickyclarkson (2012-09-05 06:45:55+00:00)
Title: We had no conversion from java.util.List to List, and now we have that conversion.

Beware of bugs in the above code; I have only proved it correct, not tried it.