initial artefacts to infer annotations for android SDK