private static double getScale(ScaleContext ctx) {
    // exclude the user scale, unless it's zero
    double scale = ctx.getScale(USR_SCALE) == 0 ? 0 : ctx.getScale(PIX_SCALE) / ctx.getScale(USR_SCALE);
    if (scale <= 0) {
      //Logger.getInstance(PaintUtil.class).warn("bad scale in the context: " + ctx.toString(), new Throwable());
    }
    return scale;
  }
private static double getScale(ScaleContext ctx)