Cast de tipo em JPA

Problema teoricamente simples:
Tenho uma query (banco postgre) que possui um campo timestamp e quero fazer um filtro dando cast para date. Exemplo:

Select * from logs where cast(dthr as date) = '2013-11-13';

A pergunta é: existe uma maneira de dar esse cast no JPA ou vou ter que usar uma query nativa?

Acabei de fazer um teste e funcionou.
Somente coloquei o cast e compilei.

Apesar do eclipse colocar uma tarja de vermelho acusando o erro, compilou e executou.
Ficou assim:

Por que o eclipse não reconhece o CAST?