I just stumbled across this syntax for a synchronized val getter. Strangely, it doesn't seem to be documented anywhere. is

@Synchronized get()

preferred?

@get:Synchronized
val things: List<Thing>
    get() = thingMap.values.toList()