서버 목록에서 변경할 서버의 이름을 더블클릭 합니다. 위 화면이 뜨게 됩니다. 여기서 server name에 원하는 이름을 입력해 줍니다. tomcat으로 변경하면 다음과 같습니다. 왜 바꿔야 하는지는 영회형의 댓글 및 포스팅을 기대해 봅니다.아마도 프로젝트 공유시에 .classpath 에서 참조하는 서버의 이름이 다를 경우에 대비하는 것 같은데