Запись Java с помощью @Builder.Default ⇐ JAVA

[Anonymous]

Мне интересно, есть ли способ объединить запись Java с @Builder.Default lombok?
Давайте рассмотрим пример с объектом свойств для создания нового файла.
До версии Java 14

Код: Выделить всё

@Value
@Builder
public class FileProperties {
@Builder.Default
String directory = System.getProperty("user.home");
@Builder.Default
String name = "New file";
@Builder.Default
String extension = ".txt";
}

Java 14

Код: Выделить всё

@Builder
public record FileProperties (
String directory,
String name,
String extension
) {}

Но на случай, если я попытаюсь использовать что-то вроде

Код: Выделить всё

@Builder
public record FileProperties (
@Builder.Default
String directory = System.getProperty("user.home")
) {}

Компилятор выдаст ошибку, показывая, что такой синтаксис недопустим. Есть ли у нас какое-нибудь решение этой проблемы?