Better support for multiple copies of JKJALaunch