BufferedImage getZoomedLensImage() { return lens.getZoomedImage(); }
BufferedImage getZoomedLensImage() { if (lens == null) return null; return lens.getZoomedImage(); }
    BufferedImage getZoomedLensImage() { return lens.getZoomedImage(); }