export const DateTimeFormatter = $.type("java.time.format.DateTimeFormatter");
export const DecimalStyle = $.type("java.time.format.DecimalStyle");
export const FormatStyle = $.type("java.time.format.FormatStyle");
export const ResolverStyle = $.type("java.time.format.ResolverStyle");
export const TextStyle = $.type("java.time.format.TextStyle");