float matrix[] = new float[16];
Quaternion quat = new Quaternion();
quat.createFromAxisAngle((float) axis.x, (float) axis.y, (float) axis.z, -1);
quat.createMatrix(matrix);
Matrix mMatrix = new Matrix(matrix);
nav.setDirection(mMatrix.multvector(nav.getDirection()));
nav.setUp(mMatrix.multvector(nav.getUp()));
// nav.setViewer(nav.viewer-(nav.viewer.normalize()/6000.));
// if (nav.viewer.length()<1) nav.viewer = nav.viewer.normalize();
/* rotate around x */
nav.rotate(roll);