updates

performance improvement in term-axiom alignment, owl api upgrade, and
now java v1.6 compatible thanks to
http://g.oswego.edu/dl/concurrency-interest/