Существовала ли когда-либо декларативная формальная спецификация формата файла класса Java?

Я помню, что видел что-то в Даталоге, или это был Пролог, но не могу найти сейчас. Было ли оно прекращено?