diff --git a/test/files/pos/t12393/R1.java b/test/files/pos/t12393/R1.java
index 51cb080ddebc..08c764ceb4ba 100644
--- a/test/files/pos/t12393/R1.java
+++ b/test/files/pos/t12393/R1.java
@@ -1,5 +1,5 @@
 // javaVersion: 9+
-public interface IF {
+public interface R1 {
 
     private void foo() {
         return;