java西方将某月的13日恰逢是周五这一天称之谓“黑色星期五”，如2019年12月13日恰逢周五，就是“黑色星期五”。以下程序的功能是求2019年12月13日之后的下一个“黑色星期五”是哪一天。

为了实现这样一个功能，我们可以先了解一下西方日期的计算规则，特别是闰年的判断。然后我们从给定的“黑色星期五”日期（2019年12月13日）开始，逐月往后推算，寻找下一个月的13日是星期五的日子。

以下是Java代码示例：

import java.time.LocalDate;
import java.time.temporal.ChronoUnit;

public class BlackFridayFinder {
    public static void main(String[] args) {
        LocalDate date = LocalDate.of(2019, 12, 13); // 起始日期
        while (true) {
            date = date.plusMonths(1); // 每个月加1
            LocalDate nextThirteenth = date.withDayOfMonth(13); // 获取该月的13日

            // 检查这一天是不是星期五
            if (nextThirteenth.getDayOfWeek() == DayOfWeek.FRIDAY) {
                System.out.printf("下一个黑色星期五是：%s%n", nextThirteenth);
                break; // 找到就停止循环
            }
        }
    }
}

class DayOfWeek {
    // 使用java.time.DayOfWeek枚举获取星期几
    public static final DayOfWeek FRIDAY = DayOfWeek.FRIDAY;
}

这个程序从2019年12月13日后开始查找，每次迭代都检查下一个月的13日是否是星期五。当找到符合条件的日期时，它会打印出结果并跳出循环。