I wonder where the ctrl+F11 and F11 shortcuts have gone.
If I press ctrl+F11 it just says “There is no available servers that support selected deployment type”.
This is what the help says :
Re-launching a program
The workbench keeps a history of each launched and debugged program. To relaunch a program, do one of the following:
Select a previous launch from Run or Debug button pull-down menus.
From the menu bar, select Run > Run History or Run > Debug History and select a previous launch from these sub-menus.
In the Debug View, select a process that you want to relaunch, and select Relaunch from the process’s pop-up menu.
To relaunch the most recent launch, do one of the following:
Click the Run or Debug buttons (without using the button pull-down menu).
Select Run > Run Last Launched (Ctrl+F11), or Run > Debug Last Launched (F11) from the workbench menu bar.
Launching a Java program
Running and debugging
Debug view
Relaunch command
Terminate and Relaunch command