#!/bin/sh CWD="`dirname \"$0\"`" $CWD/../Resources/EiffelLauncher studio &