Skip to content

Instantly share code, notes, and snippets.

View dekros987's full-sized avatar
🌴
On vacation

dekros987

🌴
On vacation
View GitHub Profile
@dekros987
dekros987 / Properties.java
Created April 21, 2016 19:01 — forked from jwne/Properties.java
Simple class for changing Minecraft server properties easily.
import org.bukkit.Bukkit;
import java.lang.reflect.InvocationTargetException;
public class Properties {
public static void savePropertiesFile() throws Exception {
Object propertyManager = getPropertyManager( getMinecraftServer() );
propertyManager.getClass().getDeclaredMethod( "savePropertiesFile" ).invoke( propertyManager );
}