3 files changed, 112 insertions, 1 deletions
diff --git a/test/pretty/resource/after/Switch13.java b/test/pretty/resource/after/Switch13.java
new file mode 100644
index 00000000..363b48dc
--- /dev/null
+++ b/test/pretty/resource/after/Switch13.java
@@ -0,0 +1,55 @@
+public class Switch13 {
+	public void basic() {
+		switch (5) {
+		case 1: 
+		case 2: 
+			System.out.println("OK");
+			break;
+		default: 
+		}
+	}
+
+	public void multiCase() {
+		switch (5) {
+		case 1, 2: 
+			System.out.println("OK");
+		default: 
+		}
+	}
+
+	public int switchExpr1() {
+		return switch (5) {
+			case 1, 2 -> 0;
+			case 3 -> {
+				yield 10;
+			}
+			default -> 10;
+		} + 10;
+	}
+
+	public int switchExpr2() {
+		return switch (5) {
+		case 1, 2: 
+			System.out.println("Hello");
+		case 3: 
+			yield 10;
+		default: 
+			yield 20;
+		} + 10;
+	}
+
+	public void arrowSwitch() {
+		switch (5) {
+			case 1, 2 -> System.out.println("Hello");
+			case 3 -> {
+				System.out.println("");
+				break;
+			}
+		}
+	}
+
+	public void emptySwitch() {
+		switch (5) {
+		}
+	}
+}
+\ No newline at end of file
diff --git a/test/pretty/resource/before/Switch12.java b/test/pretty/resource/before/Switch12.java
index f1bd8a79..d708f93c 100644
--- a/test/pretty/resource/before/Switch12.java
+++ b/test/pretty/resource/before/Switch12.java
@@ -1,4 +1,4 @@
-// version 12:
+// version 12:12
 public class Switch12 {
 	public void basic() {
 		switch (5) {
diff --git a/test/pretty/resource/before/Switch13.java b/test/pretty/resource/before/Switch13.java
new file mode 100644
index 00000000..fe590788
--- /dev/null
+++ b/test/pretty/resource/before/Switch13.java
@@ -0,0 +1,56 @@
+// version 13:
+public class Switch13 {
+	public void basic() {
+		switch (5) {
+		case 1:
+		case 2:
+			System.out.println("OK");
+			break;
+		default:
+		}
+	}
+
+	public void multiCase() {
+		switch (5) {
+		case 1, 2:
+			System.out.println("OK");
+		default:
+		}
+	}
+
+	public int switchExpr1() {
+		return switch (5) {
+			case 1, 2 -> 0;
+			case 3 -> {
+				yield 10;
+			}
+			default -> 10;
+		} + 10;
+	}
+	
+	public int switchExpr2() {
+		return switch (5) {
+		case 1, 2:
+			System.out.println("Hello");
+		case 3:
+			yield 10;
+		default:
+			yield 20;
+		} + 10;
+	}
+	
+	public void arrowSwitch() {
+		switch (5) {
+			case 1, 2 -> System.out.println("Hello");
+			case 3 -> {
+				System.out.println("");
+				break;
+			}
+		}
+	}
+	
+	public void emptySwitch() {
+		switch (5) {
+		}
+	}
+}