autoformat eclipse PRS2