Concrete interpretation using javax.script.ScriptEngine.

@author Esben Andreasen <esbena@cs.au.dk>