Bug 126626 Updating code formatter preferences page for bug 126625
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/ProfileVersioner.java
/*******************************************************************************
 * Copyright (c) 2000, 2005 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.jdt.internal.ui.preferences.formatter;
import java.util.Iterator;
import java.util.Map;
import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jdt.core.formatter.DefaultCodeFormatterConstants;
import org.eclipse.jdt.internal.corext.util.JavaModelUtil;
import org.eclipse.jdt.internal.ui.preferences.formatter.ProfileManager.CustomProfile;
public class ProfileVersioner {
	
	public static final int VERSION_1= 1; 
	public static final int VERSION_2= 2; 
	public static final int VERSION_3= 3; 
	public static final int VERSION_4= 4; 
	public static final int VERSION_5= 5; 
	public static final int VERSION_6= 6; 
	public static final int VERSION_7= 7; 
	public static final int VERSION_8= 8; 
	public static final int VERSION_9= 9;