@misc{2017-runtime-jre,
 day = {24},
 kind = {runtime},
 month = jul,
 note = {rev 5dte5EAV1khmZ5kHj9U8JF1Y41WvKH},
 title = {jre},
 version = {rev 5dte5EAV1khmZ5kHj9U8JF1Y41WvKH},
 year = {2017}
}