Reverted changes to BigSemanticsJava since it is not ready. The underlying inheritance problem needs more work.