efficiency

Author: scivision

+stdlib/device.m

@@ -14,7 +14,7 @@
   if err == 0
     i = s.dev;
   end
-elseif isunix() && stdlib.has_java() && stdlib.java_api() >= 11
+elseif isunix() && stdlib.java_api() >= 11
   % Java 1.8 is buggy in some corner cases, so we require at least 11.
   i = java.nio.file.Files.getAttribute(javaPathObject(path), "unix:dev", javaLinkOption());
 end

+stdlib/hard_link_count.m

@@ -17,7 +17,7 @@
   if err == 0
     c = s.nlink;
   end
-elseif isunix() && stdlib.has_java()
+elseif isunix()
   c = java.nio.file.Files.getAttribute(javaPathObject(p), "unix:nlink", javaLinkOption());
 end
 

+stdlib/samepath.m

@@ -28,7 +28,7 @@
   y = e1 == 0 && e2 == 0 && ...
       r1.ino == r2.ino && r1.dev == r2.dev;
 
-elseif stdlib.has_java() && stdlib.java_api() >= 11
+elseif stdlib.java_api() >= 11
 % https://docs.oracle.com/en/java/javase/24/docs/api/java.base/java/nio/file/Files.html#isSameFile(java.nio.file.Path,java.nio.file.Path)
 % Java 1.8 is buggy in some corner cases, so we require at least 11.
   y = java.nio.file.Files.isSameFile(javaPathObject(path1), javaPathObject(path2));