Зачем заключать переменную слева от присваивания в скобки?

И Java, и Groovy допускают такую "штуку" (то есть синтаксис корректен). В Groovy эта запись поддерживает составное присваивание (хотя здесь присваивается только один элемент...)

String left, middle, right
(left, middle, right) = ["4", "5", "6"]

В Java составного присваивания, однако, нет. Но Java Language Specifications 15.26.1 (https://docs.oracle.com/javase/specs/jls/se12/html/jls-15.html#jls-15.26.1) допускает сколько угодно окружающих скобок:

Когда выражение левого операнда является обращением к полю e.f (§15.11), возможно окружённым любым количеством пар скобок, то:

Важно лишь, чтобы после полного вычисления получалось обращение к полю (или элементу массива).

скобки вокруг savedText что-нибудь делают

Нет.

или лишь должны улучшать читаемость?

На мой взгляд, читать становится труднее. Впрочем, единый стиль важнее. Возможно, хотели привести простые присваивания к стилю составных?

String single
(single) = "456"

String left, middle, right
(left, middle, right) = ["4", "5", "6"]

Groovy

Показанный синтаксис представляет собой разновидность деструктуризации.

1.2.1. Multiple assignment (https://groovy-lang.org/semantics.html#_multiple_assignment)

В Groovy есть множественное присваивание, позволяющее нескольким переменным получать значения одновременно, например:

def (a, b, c) = [10, 20, 'foo'] 
assert a == 10 && b == 20 && c == 'foo'

При желании в объявлении можно указать типы:

def (int i, String j) = [10, 'foo'] 
assert i == 10 && j == 'foo'

Это работает не только при объявлении, но и с переменными, объявленными ранее:

def nums = [1, 3, 5] 
def a, b, c 
(a, b, c) = nums 
assert a == 1 && b == 3 && c == 5

Синтаксис подходит и для массивов, и для списков, и для методов, возвращающих любой из этих вариантов:

def (_, month, year) = "18th June 2009".split() 
assert "In $month of $year" == 'In June of 2009'

Помните, что деструктуризация происходит даже тогда, когда внутри скобок только одна переменная для присваивания. Ей достаётся первый элемент деструктурируемого значения.

def (slot) = [3, 6, 7]
assert slot == 3

Следующий пример выбрасывает исключение, поскольку деструктурировать здесь нечего

def (slot) = 3

Java

Сейчас это допустимая запись без особого смысла