# HG changeset patch
# User Philip Nienhuis <prnienhuis@users.sf.net>
# Date 1356124349 -3600
# Node ID 93516992ee34b4abad8c1b857d7161cc5afed439
# Parent  9854666df787bca33dacabd759d49313817aaecf
javamem.m: adapt to 'boxing' Java doubles

diff -r 9854666df787 -r 93516992ee34 scripts/java/javamem.m
--- a/scripts/java/javamem.m	Fri Dec 21 22:09:51 2012 +0100
+++ b/scripts/java/javamem.m	Fri Dec 21 22:12:29 2012 +0100
@@ -70,9 +70,9 @@
   rt = javaMethod ("getRuntime", "java.lang.Runtime");
   rt.gc;
   jvmem = cell (3, 1);
-  jvmem{1} = rt.maxMemory ().doubleValue ();
-  jvmem{2} = rt.totalMemory ().doubleValue ();
-  jvmem{3} = rt.freeMemory ().doubleValue ();
+  jvmem{1} = rt.maxMemory ();
+  jvmem{2} = rt.totalMemory ();
+  jvmem{3} = rt.freeMemory ();
 
   if (nargout == 0)
     printf ("\nJava virtual machine (JVM) memory info:\n");