Eclipse Ganymede - Server Start Timeout (Hint)

Just a Hint, para pessoas que como eu, precisam alterar o Start timeout do servidor dentro do Eclipse, e estava acostumado a fazer isso no Preferences, noGanymede mudou.
Agora esta configuração fica nas propriedades do Server. Então, abra o Server (clique duplo no servidor), e na parte superior direita existe um dropdown chamado Timeout, e ali você consegue alterar o timeout do seu Server. Conforme figura abaixo: