Galera,
Andei pesquisando na net sobre esse “bug” estranho do Eclipse, nem sei se é um bug mesmo, mas… seguinte, quando eu crio um projeto, seto o Facets dele pra Java 1.4, mas uso um Java 1.5 ou superior como biblioteca, o Eclipse aceita o uso do método String.contains()… mas não deveria, pois o Facets está setado para 1.4, e o String.contains() só existe no Java 1.5 pra frente… todo o resto (eu acho, pelo menos) ele restringe corretamente, mas não o contains()… qual a jogada ai?
É um bug mesmo, ou to esquecendo de setar em mais algum lugar ?