Added a read-rule for Java.
Started work on porting ILPullQuantTac to Lambda