apply(b, null);
} catch (IOException e) {
b.clear(Box.VISIBLE);
- b.mark_for_repack();
+ b.RECONSTRAIN();
Log.warn(this, e);
throw new JSExn(e.toString());
} catch (JSExn e) {
b.clear(Box.VISIBLE);
- b.mark_for_repack();
+ b.RECONSTRAIN();
Log.warn(this, e);
throw e;
}