res += ".";
if (b > 0) res += ".";
  private String padIt(double value, int a, int b) {    String res = Utils.doubleToString(value,				      a, b);    int precision = 0;      int width = res.length();    res = res.trim();        // how many "0" to add? -> determine current precision digits    if (res.indexOf(".") == -1) {      res += ".";      precision = 0;    }    else {      precision = res.substring(res.indexOf(".") + 1).length();    }    for (int i = precision; i < b; i++)      res += "0";    while (res.length() < width) {      res = " " + res;    }    return res;  }