Changed declaration of RK4Integrator