tools/JavaSettingsApplication.st
branchdevelopment
changeset 2004 160dfe552938
parent 1955 e9e8cbd2cfb3
child 2005 f5f046bfdfc6
--- a/tools/JavaSettingsApplication.st	Fri Jan 25 15:03:21 2013 +0000
+++ b/tools/JavaSettingsApplication.st	Fri Jan 25 22:31:22 2013 +0000
@@ -2,7 +2,7 @@
 
 AbstractSettingsApplication subclass:#JavaSettingsApplication
 	instanceVariableNames:'javaReleaseHolder javaReleaseList javaHomeHolder
-		javaReleaseIsCustomHolder infoPanel'
+		javaReleaseIsCustomHolder infoPanel bundleHolder'
 	classVariableNames:''
 	poolDictionaries:''
 	category:'Languages-Java-Tools'
@@ -543,7 +543,7 @@
     
     self javaReleaseHolder value: rel.
 
-    "Modified: / 16-01-2013 / 13:45:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 25-01-2013 / 22:25:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 basicSaveSettings
@@ -553,7 +553,7 @@
         currentUserPrefs javaReleaseSelector: nil.
     ].
 
-    "Modified: / 16-01-2013 / 13:45:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 25-01-2013 / 22:25:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 helpFilename