JavaCL: fixed crash in CLPlatform.getBinaries()