사용자 삽입 이미지서버 목록에서 변경할 서버의 이름을 더블클릭 합니다.

사용자 삽입 이미지위 화면이 뜨게 됩니다. 여기서 server name에 원하는 이름을 입력해 줍니다. tomcat으로 변경하면 다음과 같습니다.

왜 바꿔야 하는지는 영회형의 댓글 및 포스팅을 기대해 봅니다.
아마도 프로젝트 공유시에 .classpath 에서 참조하는 서버의 이름이 다를 경우에 대비하는 것 같은데 맞는지 모르겠군요.