GRECLIPSE

Formatter produces different results depending on initial text