Merge "Improve docs in JavaLibrary.bp"