From pedro_abs at yahoo.com.br  Wed Aug 26 17:07:40 2009
From: pedro_abs at yahoo.com.br (pedro abs)
Date: Wed, 26 Aug 2009 18:07:40 -0300
Subject: [Checkers] I could not run the plugin in eclipse IDE.
Message-ID: <2568795a0908261407o595815c2mf1da81a3c2e22d1b@mail.gmail.com>

hello;

After following all the steps contained in the list, I can not run checked
framework in eclipse IDE.
(http://types.cs.washington.edu/checker-framework/eclipse/)

Attached I send a picture with the result of the installation.

Please give me some more hint for me to run the framework checked in eclipse
IDE?

-- 
Pedro Abs

pedro_abs at yahoo.com.br
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20090826/59b969b6/attachment-0001.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1.JPG
Type: image/jpeg
Size: 139226 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20090826/59b969b6/attachment-0001.jpeg