android: added docs to reduce trove4j size