fix #155: Add @JsName() to specify the JS name of a class member