env.markModified(); } catch (final UserQuestionException ex) { synchronized (this) {
boolean locked = true; try { env.markModified (); } catch (final UserQuestionException ex) { synchronized (this) {
boolean locked = true; try { env.markModified (); } catch (final UserQuestionException ex) { synchronized (this) {