#!/bin/sh exec jdt-language-server "$@"