/* 
    P/P   *  Method: net.sourceforge.pebble.confirmation.CaptchaService__static_init
          * 
          *  Postconditions:
          *    instance == &new DefaultManageableImageCaptchaService(CaptchaService__static_init#1)
          *    new DefaultManageableImageCaptchaService(CaptchaService__static_init#1) num objects == 1
          */
     1  package net.sourceforge.pebble.confirmation;
     2  
         /* 
    P/P   *  Method: void net.sourceforge.pebble.confirmation.CaptchaService()
          */
     3  import com.octo.captcha.service.image.DefaultManageableImageCaptchaService;
     4  import com.octo.captcha.service.image.ImageCaptchaService;
     5  
     6  /**
     7   * Singleton wrapper for the JCaptcha services.
     8   *
     9   * @author    Simon Brown
    10   */
    11  public class CaptchaService {
    12  
    13    private static final ImageCaptchaService instance = new DefaultManageableImageCaptchaService();
    14  
    15    /**
    16     * Gets the singleton ImageCaptchaService instance.
    17     *
    18     * @return  an ImageCaptchaService instance
    19     */
    20    public static ImageCaptchaService getInstance(){
               /* 
    P/P         *  Method: ImageCaptchaService getInstance()
                * 
                *  Postconditions:
                *    return_value == &new DefaultManageableImageCaptchaService(CaptchaService__static_init#1)
                */
    21        return instance;
    22    }
    23  
    24  }