Java numerical quadrature