new java-det release, fixed a sorting bug in the queue