#1246 JavaScriptShell: NPE in JavaScriptShell.init()
With jEdit trunk r16502, I got the following exception
while activating JavaScriptShell plugin.
(Taken by pressing [Install] button on Plugin Manager)
> ....\.jedit\jars\JavaScriptShell.jar:
> Cannot start: java.lang.NullPointerException
> Try updating to a newer version of the plugin.
> java.lang.NullPointerException
> at javascriptshell.JavaScriptShell.init(JavaScriptShell.java:71)
> at javascriptshell.JavaScriptShellPlugin.<init>(JavaScriptShellPlugin.java:33)
> at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
> at sun.reflect.NativeConstructorAccessorImpl.newInstance(Unknown Source)
> at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(Unknown Source)
> at java.lang.reflect.Constructor.newInstance(Unknown Source)
> at java.lang.Class.newInstance0(Unknown Source)
> at java.lang.Class.newInstance(Unknown Source)
> at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:735)
> at org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:823)
> at org.gjt.sp.jedit.pluginmgr.Roster.performOperationsInAWTThread(Roster.java:137)
> at org.gjt.sp.jedit.pluginmgr.InstallPanel$InstallButton.actionPerformed(InstallPanel.java:925)
> at javax.swing.AbstractButton.fireActionPerformed(Unknown Source)
> at ... (snip)
JavaScriptShell plugin 0.3
jEdit trunk r16502
JRE 6u15
Windows XP
I see this on Linux, with Java 1.7 and jEdit 5.2pre1, and trunk of javascriptshell.