diff --git a/libs/platform.jar b/libs/platform-3.5.1.jar similarity index 57% rename from libs/platform.jar rename to libs/platform-3.5.1.jar index 2dd530d95..ba4561bcc 100644 Binary files a/libs/platform.jar and b/libs/platform-3.5.1.jar differ