util: change the expected system name from .dylib to .jnilib when .dy…

…lib is seen

This seems to be the new default library extension under Java 7 on macs, note code was not tested at commit as I don't have a mac

util/src/main/uk/ac/starlink/util/Loader.java

@@ -135,6 +135,14 @@ public static void loadLibrary( String libname )
         /* Get the name of the library file. */
         String filename = System.mapLibraryName( libname );
 
+
+        /* Apparently Java 7 on OS X used .dylib, whereas we use jnilib, let's
+         * work around that until all Java's are 7. */
+        if ( libname.endsWith( "dylib" ) ) {
+            libname = libname.replace( ".dylib", ".jnilib" );
+            logger.warning( "Replaced .dylib with .jnilib to fix Java 7" );
+        }
+
         /* Try to load it. */
         File libfile = new File( archdir, filename );
         try {