moved to rascal-eclipse
fixed a bug