Selbst wenn es funktioniert (was ich bezweifle) würde ich dir davon abraten.
Schreib es lieber direkt in bash, denn bash hat viel mehr möglichkeiten als Batch,
du würdest also viel unnötigen overhead mitnehmen.
Nachdem es ja um deinen Serverlauncher geht:
Schreib ihn in Python oder in Java dann kannst du ihn auch überall verwenden.