Jan Lahoda 1aab3cd562 8156911: JShell: file manager should be closed ...

Properly closing the file manager when it is being thrown away on error.

Reviewed-by: rfield

2016-08-22 18:19:31 +02:00

..

classes

8156911: JShell: file manager should be closed

2016-08-22 18:19:31 +02:00