Use final instead volatile, probably needed for GWT but not here