origo - Revision 3910: /ide/trunk/EclipseIntegration/src/ch/ethz/origo