Bug 6722 JavaElementLabelProvider API - small issue
everytime i use this label provider it annoys me that i have to type new JavaElementLabelProvider(JavaElementLabelProvider.SHOW_DEFAULT) if it's default then it should be default, if you know what i mean. all i need is: public JavaElementLabelProvider() { this(JavaElementLabelProvider.SHOW_DEFAULT); } it'd make things easier. i'd fix it myself but it's API so i guess it should be blessed first.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/JavaElementLabelProvider.java
/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */
package org.eclipse.jdt.ui;
import java.util.HashMap;
import java.util.Iterator;
import java.util.Map;
import org.eclipse.swt.graphics.Image;
import org.eclipse.core.resources.IStorage;
import org.eclipse.jface.resource.ImageDescriptor;
import org.eclipse.jface.viewers.LabelProvider;
import org.eclipse.ui.IEditorRegistry;
import org.eclipse.ui.PlatformUI;