code: public Quaterniond rotateAxis(double angle, Vector3dc axis, Quaterniond dest) {
          return rotateAxis(angle, axis.x(), axis.y(), axis.z(), dest);
      }
docs: /* (non-Javadoc)
  @see org.joml.Quaterniondc#rotateAxis(double, org.joml.Vector3dc, org.joml.Quaterniond)