Index: ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java
===================================================================
RCS file: /home/eclipse/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java,v
retrieving revision 1.28
diff -u -r1.28 JavaAutoIndentStrategy.java
--- ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java	10 Dec 2002 18:22:35 -0000	1.28
+++ ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java	30 Jan 2003 01:31:59 -0000
@@ -521,13 +521,12 @@
 
 	}
 
-	private static String createIndent(int level, boolean useSpaces) {
+	private String createIndent(int level, boolean useSpaces) {
 
 		StringBuffer buffer= new StringBuffer();
 
 		if (useSpaces) {
-			int tabWidth= getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
-			int width= level * tabWidth;
+			int width= level * getTabWidth();
 			for (int i= 0; i != width; ++i)
 				buffer.append(' ');
 
@@ -683,7 +682,7 @@
 	
 	private int getTabWidth() {
 		if (fTabWidth == -1)
-			fTabWidth= JavaPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
+			fTabWidth= Integer.parseInt(((String)JavaCore.getOptions().get(JavaCore.FORMATTER_TAB_SIZE))); 
 		return fTabWidth;
 	}