node.setLocation((int) (r.x*factor/sf), (int) (r.y*factor/sf));
double ratio = factor/sf; if (ratio < 1) ratio += EPSILON; node.setLocation((int) (r.x*ratio), (int) (r.y*ratio));
    public void visit(ImageNode node)    {        Rectangle r = node.getBounds();        Thumbnail th = node.getThumbnail();        double sf = th.getScalingFactor();        if (sf != factor) {            th.scale(factor);            node.setLocation((int) (r.x*factor/sf), (int) (r.y*factor/sf));        }    }