State of Panama foreign annotations




More at https://cr.openjdk.org/~mcimadamore/panama/panama-annos.html