Tags: git-jr/AndroidIDE

AndroidIDE v2.7.1-beta.1-local

Build local baseado em v2.7.1-beta com correções necessárias
para compilar e executar o projeto a partir do código-fonte.

- **jakarta.servlet-api**: versão dinâmica `+` fixada em `6.1.0`
  para evitar resolução de snapshot quebrado (`6.2.0-M1`)

- **sora-editor**: substituído SNAPSHOT customizado
  `0.23.4-ce8de8e-SNAPSHOT` (não publicado) pela versão estável `0.23.5`

- **Bootstrap terminal**: corrigido erro de chave GPG expirada em
  `packages.androidide.com` — o build agora aplica `[trusted=yes]`
  automaticamente no `sources.list` dos bootstrap ZIPs

- Build de debug assinado com debug keystore local
- Testado em Samsung Galaxy S24 (SM-S921B, Android 16)
- O servidor de pacotes `packages.androidide.com` ainda está no ar;
  apenas a chave GPG de assinatura expirou