diff options
Diffstat (limited to 'java/src/Ice/PluginManagerI.java')
| -rw-r--r-- | java/src/Ice/PluginManagerI.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/java/src/Ice/PluginManagerI.java b/java/src/Ice/PluginManagerI.java index 2c5e33bfb63..89f856be484 100644 --- a/java/src/Ice/PluginManagerI.java +++ b/java/src/Ice/PluginManagerI.java @@ -118,8 +118,8 @@ public final class PluginManagerI implements PluginManager } catch(RuntimeException ex) { - Ice.Util.getProcessLogger().warning("unexpected exception raised by plug-in '" + entry.getKey() + "' destruction.\n"); - Ice.Util.getProcessLogger().warning("exception: " + ex.toString()); + Ice.Util.getProcessLogger().warning("unexpected exception raised by plug-in `" + + entry.getKey() + "' destruction:\n" + ex.toString()); } } } @@ -306,7 +306,7 @@ public final class PluginManagerI implements PluginManager PluginFactory pluginFactory = null; try { - Class c = Class.forName(className); + Class<?> c = Class.forName(className); java.lang.Object obj = c.newInstance(); try { |