try { TextBuffer.changed(fAcquiredTextBuffer); } catch (CoreException e) { Assert.isTrue(false, "Should not happen since the buffer is acquired through a text buffer manager"); } finally { if (fAcquiredTextBuffer != null)
if (fAcquiredTextBuffer != null) { try { TextBuffer.changed(fAcquiredTextBuffer); } catch (CoreException e) { Assert.isTrue(false, "Should not happen since the buffer is acquired through a text buffer manager"); } finally {
		public void performed() {			try {				TextBuffer.changed(fAcquiredTextBuffer);			} catch (CoreException e) {				Assert.isTrue(false, "Should not happen since the buffer is acquired through a text buffer manager");				} finally {				if (fAcquiredTextBuffer != null)					releaseTextBuffer(fAcquiredTextBuffer);			}			super.performed();		}		