// COMPILER_ARGUMENTS: -Xjvm-default=disable