Bug of Espruino IDE (not supporting UTF-8 comments)

I just tried:

function onInit() {
  function a() {
     var b =  { 0x4000 : { // Service für 
     }};
  }
  a();
}

and it works fine. Please give me a FULL example with the problem, and the full error message.