JShell tool: default output format

[Robert Field]

[Resend: with actual text]

The approach we decided for narrowing to a default format was to define 
three formats: a verbose format, a concise format (with only the 
critical information), and choose a default that is between the two.

This shows the feedback from each mode for representative input snippets:

         http://cr.openjdk.java.net/~rfield/FeedbackModes.html

This file can be /open'ed to add the three prototype modes (updated to 
the new general configuration mechanism):

         http://cr.openjdk.java.net/~rfield/formats/proto3.modes

Are there any shifts you would make?  Brian has stated he would have no 
output for B.  Of the differences between default and concise, B is the 
only case with useful information, so if that is the consensus then I 
would just want the default be the concise mode. What do others think???

I would really like some input from other than Brian and I.

Thanks,
Robert