extensions.st
changeset 3296 761c7bb5853c
parent 3195 0b6a9ff08acd
child 3328 327e493d2688
--- a/extensions.st	Mon Dec 08 10:26:50 2014 +0000
+++ b/extensions.st	Tue Dec 09 14:49:20 2014 +0000
@@ -1830,64 +1830,6 @@
     "Created: / 18-01-2013 / 22:27:02 / 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"
-
-    | rel sel |
-    sel := self javaReleaseSelector.
-    sel notNil ifTrue:[
-        rel := JavaRelease perform: sel asSymbol ifNotUnderstood:[nil]
-    ].
-    ^rel
-
-    "Created: / 27-07-2012 / 10:12:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-java'!
-
-javaReleaseSelector
-    ^ self at:#javaReleaseSelector ifAbsent:[nil].
-
-    "
-        UserPreferences current javaReleaseSelector
-        UserPreferences current javaReleaseSelector: #openJDK6
-        UserPreferences current javaReleaseSelector: nil
-
-        Java release
-    "
-
-    "Created: / 27-07-2012 / 10:02:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-java'!
-
-javaReleaseSelector: name
-    "Sets the Java release to use. selector must be one of
-     releases defined in JavaRelease, protocol 'instance creation'"
-
-    self at:#javaReleaseSelector put: name.
-"/    Java notNil ifTrue:[
-"/        Java reinitializeRelease
-"/    ].
-
-
-    "
-        UserPreferences current javaReleaseSelector
-        UserPreferences current javaReleaseSelector: #openJDK7
-        UserPreferences current javaReleaseSelector: nil
-
-        Java release
-        Java release:nil
-
-        Java reinitializeRelease
-    "
-
-    "Created: / 27-07-2012 / 10:02:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
 !WordArray class methodsFor:'testing'!
 
 isInterface