Restart does not work if JOSM is run using "optirun josm" on a laptop with Nvidia Optiumius with a Linux operating system

[metalfreak]

What steps will reproduce the problem?

1. You have to be using a laptop with Nvidia Optimus
2. the laptop's operating system has to be Linux (in this case it's Ubuntu Studio 12.04 32-bit)
3. Bumblebee has to be installed so the Ncidia graphics card can be used while running Linux
4. JOSM need to be run using the command "optirun josm" without quotes
5. Then at any point while JOSM is running A1. Open the drop down File menu B1. Click on Restart OR A2. open the drop down Edit menu B2. Click on Preferences C2. Open the plugins tab D2. Select a plugin to be installed by putting a check the box next to it or select plugin to be uninstall by unchecking the box next to it E2. Click OK F2. Then when you see: "You have to restart JOSM for some settings to take effect. Would you like to restart now?" click Restart

What is the expected result?
That JOSM will automatically be closed and then it will restart

What happens instead?
JOSM just closes and does not restart then the user has to start JOSM manually. At no time is there an error message

Please provide any additional information below. Attach a screenshot if
possible.
Restart does work if I run JOSM using the command "josm"

PS I know this bug effect very few people and even if it did effect a significant number of people it still wouldn't be a major issue. However, I still wanted to report just so that the issue is a known.

Repository Root: http://josm.openstreetmap.de/svn
Build-Date: 2013-05-08 01:34:29
Last Changed Author: stoecker
Revision: 5939
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
URL: http://josm.openstreetmap.de/svn/trunk
Last Changed Date: 2013-05-07 14:05:08 +0200 (Tue, 07 May 2013)
Last Changed Rev: 5939

Identification: JOSM/1.5 (5939 en) Linux Ubuntu 12.04.2 LTS
Memory Usage: 110 MB / 910 MB (20 MB allocated, but free)
Java version: 1.6.0_27, Sun Microsystems Inc., OpenJDK Server VM
VM arguments: [-Djava.net.useSystemProxies=true]

Plugin: AddrInterpolation (29435)
Plugin: FixAddresses (29519)
Plugin: HouseNumberTaggingTool (29487)
Plugin: ImageWayPoint (29435)
Plugin: InfoMode (29435)
Plugin: OpeningHoursEditor (29435)
Plugin: buildings_tools (29435)
Plugin: download_along (29435)
Plugin: geotools (29435)
Plugin: gpsblam (29435)
Plugin: gpxfilter (29435)
Plugin: graphview (29525)
Plugin: jts (29435)
Plugin: kendzi3d (182)
Plugin: kendzi3d-jogl (21)
Plugin: log4j (29435)
Plugin: mapdust (29525)
Plugin: measurement (29579)
Plugin: namemanager (29435)
Plugin: opendata (29505)
Plugin: osmarender (29435)
Plugin: photo_geotagging (29435)
Plugin: print (29529)
Plugin: reverter (29561)
Plugin: tag2link (29461)
Plugin: todo (29155)
Plugin: turnlanes (29435)
Plugin: turnrestrictions (29435)
Plugin: undelete (29555)
Plugin: utilsplugin2 (29435)
Plugin: waydownloader (29435)
Plugin: waypoint_search (29435)
Plugin: wayselector (29435)
Plugin: wms-turbo-challenge2 (29435)