Added debugging to log list of available shells - reverted change made

for JBIDE-13351 to shell name - original name string was correct for
Jenkins runs.