FIXME (see wip/jdk15/DESCR)