JavaRelease.st
changeset 3158 f041babfda85
parent 3096 158c061202f3
child 3163 a37928cf9a1b
--- a/JavaRelease.st	Wed Apr 30 22:02:40 2014 +0200
+++ b/JavaRelease.st	Fri May 09 15:06:18 2014 +0200
@@ -1722,7 +1722,7 @@
     jdkHome notNil ifTrue:[ 
         jdkHome := jdkHome asFilename.
         (src_jar := jdkHome / 'Contents' / 'Home' / 'src.jar') exists ifTrue:[
-            path add:src_jar.
+            path add:src_jar pathName.
         ].
     ].
     super searchForSourcePath.