PR: 12744 Submitted by: maintainer
A Just In Time java bytecode compiler. PR: 11491 Submitted by: Jake Burkholder <jake@checker.org>