protected Collection < ? extends String > getExtendedCommands ( IVdmProject project , ILaunchConfiguration configuration ) throws CoreException { return new Vector < String > ( ) ; }
Intended to be used when sub classing the delegate to add additional parameters to the launch of VDMJ