Ola Rita

Normalmente a opção "add library" na IDE Eclipse é usado quando precisamos incluir uma lib externa (jars) para usarmos. Para a configuração da versão do Java seria outra opção. Primeiro se puder verifique qual versão a sua IDE Eclipse está reconhecendo no geral (não especificamente para seu projeto) em Window > Preferences > Java > Installed JREs. Dai em seu projeto, nas preferencias, de uma olhada se ele esta indicando esta mesma versão. Para isso vá em Preferences no seu projeto e na parte Java Build Path e novamente na aba Library, lá deve aparecer uma entrada JRE System Library indicando para a mesma da IDE (ou indicando erro com um x vermelho).

Caso não esteja indicando ou tenha erro, a opção seria referenciar manualmente a versão de java que sua IDE aponta. Para isso em seu projeto, vá em Preferences, na parte Java Build Path e novamente na aba Library, selecione o botão Add Library e a opção JRE System Library. A IDE nesse momento indica pra você qual que ela esta configurada, e poderia dar Finish.

Realmente a IDE Eclipse não é tão trivial ao trocar a JDK configurada e já existir um projeto criado apontando pra outra versão.