/patch-Makefile_in/1.10/Tue May  7 19:39:32 2019//
/patch-launcher_launchers_in/1.2/Sun May 15 13:20:43 2016//
/patch-plugin_icedteanp_IcedTeaNPPlugin_cc/1.4/Sun May 15 13:20:43 2016//
D
