new writing of RunJRE