moved to previous version of trove in CLESATrove.java