wisp - Revision 12680: /var/timm/eclipse/.metadata/.plugins/org.eclipse.jdt.ui