The following code with Rascal will not work:
module Exercise1 import IO; import IO; import lang::java::jdt::m3::Core; public void testing() { M3 model = create