throw new UnknownObjectException( object_id, persistent_name, vmid );
}
Method method = proxy_info.method_map.get( method_id );
if ( method == null ) {
throw new UnknownMethodException( method_id );
}
Thread my_thread = Thread.currentThread();
final String original_thread_name = my_thread.getName();