From d4176df6c72264cfa2d46440094542b72d452b83 Mon Sep 17 00:00:00 2001
From: Egornya <100377648+inotflying@users.noreply.github.com>
Date: Fri, 8 Dec 2023 15:36:53 +0400
Subject: [PATCH] feat(types): `PingOptions` for Java

---
 types/lib/java.d.ts | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/types/lib/java.d.ts b/types/lib/java.d.ts
index 4b66d6d..d466e83 100644
--- a/types/lib/java.d.ts
+++ b/types/lib/java.d.ts
@@ -1,4 +1,13 @@
-import { PingOptions } from "./bedrock";
+/**
+ * @param port The server port.
+ * @param timeout The read/write socket timeout.
+ * @param protocolVersion The protocol version.
+ */
+export type PingOptions = {
+    port: number,
+    timeout: number,
+    protocolVersion: number;
+};
 
 /**
  * JSON format chat component used for description field.