sync with eclipse editor.