lensImage = itMng.buildDisplayImage(lensImage);
    public BufferedImage getPinOnSide(boolean painting, Color c)    {        if (lensImage == null || displayImage == null) return null;        int widthNew = (int) (manager.getWidth()/manager.getMagFactorLens());        return ImageFactory.getImagePinOnSide(displayImage, lensImage,                 xTopCorner, yTopCorner, widthNew, widthNew, painting, c);    }