JBIDE-18282: also return '3.5' when no launch configuration available