A demo project that shows up my problem with the Rascal Shell client