AndroidIDE v2.7.1-beta.1-local

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.

Correções aplicadas

• 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

Notas

• 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