fix formula types

src/main/java/fr/spoonlabs/flacoco/localization/spectrum/formulas/Formula.java

@@ -1,23 +1,8 @@
-/**
- * Copyright (C) 2019 GZoltar contributors.
- * 
- * This file is part of GZoltar.
- * 
- * GZoltar is free software: you can redistribute it and/or modify it under the terms of the GNU
- * Lesser General Public License as published by the Free Software Foundation, either version 3 of
- * the License, or (at your option) any later version.
- * 
- * GZoltar is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even
- * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
- * General Public License for more details.
- * 
- * You should have received a copy of the GNU Lesser General Public License along with GZoltar. If
- * not, see <https://www.gnu.org/licenses/>.
- */
 package fr.spoonlabs.flacoco.localization.spectrum.formulas;
 
 public interface Formula {
 
-	public double compute(int nPassingNotExecuting, int nFailingNotExecuting, int nPassingExecuting,
-			int nFailingExecuting);
+	public double compute(double nPassingNotExecuting, double nFailingNotExecuting, double nPassingExecuting,
+			double nFailingExecuting);
+
 }

src/main/java/fr/spoonlabs/flacoco/localization/spectrum/formulas/OchiaiFormula.java

@@ -5,8 +5,8 @@ public class OchiaiFormula implements Formula {
 	public OchiaiFormula() {
 	}
 
-	public double compute(int nPassingNotExecuting, int nFailingNotExecuting, int nPassingExecuting,
-			int nFailingExecuting) {
+	public double compute(double nPassingNotExecuting, double nFailingNotExecuting, double nPassingExecuting,
+			double nFailingExecuting) {
 
 		if ((nFailingExecuting + nPassingExecuting == 0) || (nFailingExecuting + nFailingNotExecuting == 0)) {
 			return 0;