On 09/27/2018 04:28 PM, Schmidt, Lutz wrote: > re break vs. ShouldNotReachHere(), I tried to change semantics as little as > possible. After > discussion with colleagues, we concluded that ShouldNotReachHere() is the > better choice. Code was > modified accordingly. Your concerns re. coding style are reflected in the new > webrev as well. It > can be found here: http://cr.openjdk.java.net/~lucy/webrevs/8211145.02/
Looks good! Ship it. -Aleksey
