JavaW: Higher Order Programming in Java