JL5eton language extension.