Tor: don't throw in Orchid sockets when attempting to set socket options, just ignore the request instead

orchid/src/com/subgraph/orchid/sockets/OrchidSocketImpl.java

@@ -25,7 +25,7 @@ public class OrchidSocketImpl extends SocketImpl {
 	}
 
 	public void setOption(int optID, Object value) throws SocketException {
-		throw new UnsupportedOperationException();
+		// Ignored.
 	}
 
 	public Object getOption(int optID) throws SocketException {