From cbb1b1d1441c4a61db60e523b54cff2c65e171f0 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 16 Oct 2017 22:42:14 +0200
Subject: [PATCH] Add default label to switch.

---
 examples/java/app/bittorrent/Peer.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/examples/java/app/bittorrent/Peer.java b/examples/java/app/bittorrent/Peer.java
index 43be4d4bda..8c07d84d42 100644
--- a/examples/java/app/bittorrent/Peer.java
+++ b/examples/java/app/bittorrent/Peer.java
@@ -325,6 +325,9 @@ public class Peer extends Process {
           }
         }
       break;
+      default:
+        Msg.error("Unexpected message type: " + message.type);
+        break;
     }
     if (remotePeer != null) {
       remotePeer.addSpeedValue(1 / (Msg.getClock() - beginReceiveTime));
-- 
2.20.1