commit b7ac695603426b408764ec418282f0c32414b377
author Stephan Wahlbrink <sw@wahlbrink.eu> Fri Nov 23 16:22:01 2018 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> Thu Dec 06 21:27:30 2018 +0100
tree 92897658c4fb1c949d21b45c57469373b63c6f67
parent b2b937a2318f7fe24d56b5f04a2bf7296e264daf

Bug 541792: [RJ-Servi] Add AutoClosable to RServi

Change-Id: Ic8daa67b93cfefdbfa2cde0d2e08a7560a7db23e

servi/org.eclipse.statet.rj.servi/src/org/eclipse/statet/rj/servi/RServi.java

diff --git a/servi/org.eclipse.statet.rj.servi/src/org/eclipse/statet/rj/servi/RServi.java b/servi/org.eclipse.statet.rj.servi/src/org/eclipse/statet/rj/servi/RServi.java
index 41a5883..4654be8 100644
--- a/servi/org.eclipse.statet.rj.servi/src/org/eclipse/statet/rj/servi/RServi.java
+++ b/servi/org.eclipse.statet.rj.servi/src/org/eclipse/statet/rj/servi/RServi.java
@@ -54,7 +54,7 @@
  * @since 0.1
  */
 @NonNullByDefault
-public interface RServi extends RService {
+public interface RServi extends RService, AutoCloseable {
 	
 	
 	/**
@@ -80,6 +80,7 @@
 	 * @throws StatusException if the operation failed; the status
 	 *     of the exception contains detail about the cause
 	 */
+	@Override
 	void close() throws StatusException;
 	
 }