Problemas com loop infinito

Tem algum mecanismo em java que preve que uma função entrou em loop infinito?

Qual é?

Você já deve ter lido uma demonstração de que é impossível escrever um algoritmo que determine se um algoritmo irá terminar (ou seja, que não entrou em loop)