irext Java web API Indexing to the specified remote index and download its IR binary file Please refer to the README in subfolders for Android and Java web.