Double-precision version of JBullet (Java port of c++ Bullet library)