Repo for java version of MMT code