From 7e0f9365028352a8bb1a68eb47dbcf98944b6b8c Mon Sep 17 00:00:00 2001
From: RoboMWM <robomwm@users.noreply.github.com>
Date: Sat, 1 Feb 2020 22:11:45 -0800
Subject: [PATCH] skip plugins that aren't JavaPlugins

Fixes #707
---
 .../me/ryanhamshire/GriefPrevention/PlayerEventHandler.java     | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/me/ryanhamshire/GriefPrevention/PlayerEventHandler.java b/src/main/java/me/ryanhamshire/GriefPrevention/PlayerEventHandler.java
index 5dd411c..5fd025f 100644
--- a/src/main/java/me/ryanhamshire/GriefPrevention/PlayerEventHandler.java
+++ b/src/main/java/me/ryanhamshire/GriefPrevention/PlayerEventHandler.java
@@ -548,6 +548,8 @@ class PlayerEventHandler implements Listener
 	    aliases.add("minecraft:" + commandName);
 	    for(Plugin plugin : Bukkit.getServer().getPluginManager().getPlugins())
         {
+            if (!(plugin instanceof JavaPlugin))
+                continue;
             JavaPlugin javaPlugin = (JavaPlugin)plugin;
             Command command = javaPlugin.getCommand(commandName);
             if(command != null)