Delete JS_token.py