@Override
  public PropertyKeyImpl handleContentChange(@NotNull PropertyKeyImpl element, @NotNull TextRange range, String newContent)
    throws IncorrectOperationException {
    final String oldText = element.getText();
    String newText = oldText.substring(0, range.getStartOffset()) + newContent + oldText.substring(range.getEndOffset());
    return (PropertyKeyImpl)element.replaceWithText(newText);
  }
@Override
  public PropertyKeyImpl handleContentChange(@NotNull PropertyKeyImpl element, @NotNull TextRange range, String newContent)