fixed problem with CT where the it didn't generate coverage due to early termination and improved sorting and other UI actions. Send to interpreter has a problem with JP chars encoding/decoding from base64 fails to give the same result (in VdmLaunchConfigurationDelegate).