From de2cd5b1b557fdea6cae32d459b70e40710c306c Mon Sep 17 00:00:00 2001
From: oxmc7769 <oxmc7769.mail@gmail.com>
Date: Mon, 15 Jun 2026 07:50:02 +0000
Subject: [PATCH] api: use platform type (String!) for SERVICE_NAME field

Bare String in format 4.0 generates @RecentlyNonNull in from-text stubs
which is not public in stub-annotations and causes a javac error.
---
 api/system/current.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/api/system/current.txt b/api/system/current.txt
index 9987962..7b9ba1d 100644
--- a/api/system/current.txt
+++ b/api/system/current.txt
@@ -16,7 +16,7 @@ package pawletos.device.system {
     method public boolean isFeatureEnabled(String!);
     method public boolean isUserSetupComplete();
     method public void setFeatureEnabled(String!, boolean);
-    field public static final String SERVICE_NAME = "pawlet";
+    field public static final String! SERVICE_NAME = "pawlet";
   }
 
   public final class PawletSystem {