From 73cb8ef5b98cf9b5026c4620a325ee799e6fcb8a Mon Sep 17 00:00:00 2001
From: Alan Young <consult.awy@gmail.com>
Date: Fri, 21 Aug 2015 14:54:25 +0200
Subject: Correct ClientSession.finish()

The default, clean finish() method needs to set up no error, not a null
instance of Error.Type (with type field == null).

Change-Id: I6912392b226dd84c411e2369844b9aee656d2e6f

diff --git a/src/com/isode/stroke/client/ClientSession.java b/src/com/isode/stroke/client/ClientSession.java
index 469688d..3a226f5 100644
--- a/src/com/isode/stroke/client/ClientSession.java
+++ b/src/com/isode/stroke/client/ClientSession.java
@@ -621,7 +621,7 @@ public class ClientSession {
     }
 
     public void finish() {
-        finishSession((Error.Type)null);
+        finishSession((Error)null);
     }
 
     private void finishSession(final Error.Type error) {
-- 
cgit v0.10.2-6-g49f6