diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss
index c93aa957ed..7b556c8289 100644
--- a/collects/string-constants/german-string-constants.ss
+++ b/collects/string-constants/german-string-constants.ss
@@ -1196,6 +1196,8 @@
   (profj-java "Java")
   (profj-java-mode "Java-Modus")
 
+  (profj-java-coverage "Java-Abdeckung") ;; shows up in the preferences dialog under 'Color'
+
   (profj-beginner-lang "Anfänger")
   (profj-beginner-lang-one-line-summary "Java-ähnliche Lehrsprache für Anfänger")
   (profj-full-lang "Voller Sprachumfang")