Interactive Extensions for Java