fix JavLibrary