private static String toString(double value) {
		String result = Double.toString(value);
		if (result.endsWith(".0")) { //$NON-NLS-1$
			result = result.substring(0, result.length() - 2);
		}
		return result;
	}