(BIN) micrometer-core-api.hpi