--- a/src/org/eclipse/jetty/io/nio/SelectorManager.java	Thu Oct 13 18:53:26 2016 -0600
+++ b/src/org/eclipse/jetty/io/nio/SelectorManager.java	Thu Oct 13 21:29:19 2016 -0600
@@ -161,7 +161,6 @@
 	}
 
 
-	/* ------------------------------------------------------------------------------- */
 	@Override
 	protected void doStop() throws Exception
 	{
@@ -176,11 +175,13 @@
 
 	public abstract AsyncConnection newConnection(SocketChannel channel, SelectChannelEndPoint endpoint);
 
+	@Override
 	public String dump()
 	{
 		return AggregateLifeCycle.dump(this);
 	}
 
+	@Override
 	public void dump(Appendable out, String indent) throws IOException
 	{
 		AggregateLifeCycle.dumpObject(out,this);
@@ -295,7 +296,7 @@
 			return _selector;
 		}
 
-		synchronized void stop() throws Exception
+		private synchronized void stop() throws Exception
 		{
 			// close endpoints and selector
 			for (SelectionKey key : _selector.keys())
@@ -321,17 +322,20 @@
 			}
 		}
 
+		@Override
 		public String dump()
 		{
 			return AggregateLifeCycle.dump(this);
 		}
 
+		@Override
 		public void dump(Appendable out, String indent) throws IOException
 		{
 			out.append(String.valueOf(this)).append("\n");
 			AggregateLifeCycle.dump(out,indent,Collections.emptyList());
 		}
 
+		@Override
 		public String toString()
 		{
 			SaneSelector selector=_selector;