Até poucos dias atrás, o Eclipse estava funcionando bem na localização do javadoc para classes base, como Java.io.File. Recentemente, no entanto, passar o mouse sobre essas classes produz apenas uma mensagem indicando que a origem e o javadoc estão ausentes:

"Nota: Este elemento não tem fonte anexada e o Javadoc não pôde ser encontrado no Javadoc anexado."

Não pude, durante minha vida, localizar a opção que me permitiria selecionar novamente o local da documentação básica. Alguém sabe como consertar isso?