code: protected Collection<? extends String> getExtendedCommands(
  			IVdmProject project, ILaunchConfiguration configuration)
  			throws CoreException
  	{
  		return new Vector<String>();
  	}
docs: Intended to be used when sub classing the delegate to add additional parameters to the launch of VDMJ
  
  @param project
  the project launched
  @param configuration
  the launch configuration
  @return a list of parameters to be added to the command line just before the files
  @throws CoreException