Merge branch 'do-not-crash-when-tor-crashes' into 'master'

Don't crash when the Tor process crashes

See merge request briar/briar!1749

bramble-core/src/main/java/org/briarproject/bramble/plugin/tor/TorPlugin.java

@@ -811,7 +811,8 @@ abstract class TorPlugin implements DuplexPlugin, EventHandler, EventListener {
 	@Override
 	public void controlConnectionClosed() {
 		if (state.isTorRunning()) {
-			throw new RuntimeException("Control connection closed");
+			// TODO: Restart the Tor process
+			LOG.warning("Control connection closed");
 		}
 	}