Minor fix in javadoc: fix Frozen/Thawed links

They are now in a different package altogether.