boolean isUserDefinedFallthrough() {
		return isUserDefined;
	}
The option for the "user defined" fallthrough was chosen.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/fallthrough/FallThroughModel.java