Jstar now compiles against the alt-abd branch of corestar.  Many TODOs
introduced.