jsr-receiver.java

public String toString() @ReadOnly { 
    ... 
}