Fri, 26 Aug 2016 15:54:36 -0700 jjg 8164887: update tests to remove use of old-style options
Fri, 26 Aug 2016 11:36:08 -0700 rfield 8158738: jshell tool: Save does not affect jshell if started from another editor
Thu, 25 Aug 2016 21:58:13 -0700 smarks 8164835: add a few tools tests to the problem list
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip