--- a/src/extensions.st	Fri Aug 03 08:45:12 2012 +0000
+++ b/src/extensions.st	Fri Aug 10 15:10:40 2012 +0000
@@ -1475,6 +1475,23 @@
 
 !UserPreferences methodsFor:'accessing-java'!
 
+javaClassPathDecoded
+    "Return the Java user-defined class path (a collection of JavaPathElement)"
+
+    ^ self javaClassPath decodeAsLiteralArray
+
+    "
+        UserPreferences current javaClassPathDecoded
+        UserPreferences current javaClassPath
+
+        Java classPath
+    "
+
+    "Created: / 02-08-2012 / 09:43:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+! !
+
+!UserPreferences methodsFor:'accessing-java'!
+
 javaRelease
     "Return the Java release according to the preferences
      or nil, if not set"
@@ -1572,6 +1589,23 @@
     "Created: / 27-07-2012 / 12:54:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
+!UserPreferences methodsFor:'accessing-java'!
+
+javaSourcePathDecoded
+    "Return the Java user-defined source path (a collection of JavaPathElement)"
+
+    ^ self javaSourcePath decodeAsLiteralArray
+
+    "
+        UserPreferences current javaSourcePathDecoded
+        UserPreferences current javaSourcePath
+
+        Java sourceDirectories
+    "
+
+    "Created: / 02-08-2012 / 09:44:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+! !
+
 !UserPreferences methodsFor:'accessing-java-devel'!
 
 javaTestsDirectory