The Eclipse Workspace Launcher, with workspace defined.