Attachment #189196 for bug #334783

Lines 45-51 Link Here

(-)src/org/eclipse/jdt/jeview/properties/MarkerProperties.java (-1 lines)
45	Map<String, Object> attributes= null;	45	Map<String, Object> attributes= null;
46	boolean isJavaMarker= false;	46	boolean isJavaMarker= false;
47	try {	47	try {
48	@SuppressWarnings("unchecked")
49	Map<String, Object> uncheckedAttributes= fMarker.getAttributes();	48	Map<String, Object> uncheckedAttributes= fMarker.getAttributes();
50	attributes= uncheckedAttributes;	49	attributes= uncheckedAttributes;
51	isJavaMarker= IJavaModelMarker.JAVA_MODEL_PROBLEM_MARKER.equals(fMarker.getType());	50	isJavaMarker= IJavaModelMarker.JAVA_MODEL_PROBLEM_MARKER.equals(fMarker.getType());

Lines 1-5 Link Here

(-)src/org/eclipse/jdt/jeview/views/JavaElement.java (-3 / +3 lines)
1	/*******************************************************************************	1	/*******************************************************************************
2	* Copyright (c) 2005, 2010 IBM Corporation and others.	2	* Copyright (c) 2005, 2011 IBM Corporation and others.
3	* All rights reserved. This program and the accompanying materials	3	* All rights reserved. This program and the accompanying materials
4	* are made available under the terms of the Eclipse Public License v1.0	4	* are made available under the terms of the Eclipse Public License v1.0
5	* which accompanies this distribution, and is available at	5	* which accompanies this distribution, and is available at
Lines 483-492 Link Here
483	return createStrings(this, method.getExceptionTypes());	483	return createStrings(this, method.getExceptionTypes());
484	}	484	}
485	});	485	});
486	result.add(new JavaElementChildrenProperty(this, "PARAMETER NAMES") {	486	result.add(new JavaElementChildrenProperty(this, "LOCAL VARIABLES") {
487	@Override	487	@Override
488	protected JEAttribute[] computeChildren() throws JavaModelException {	488	protected JEAttribute[] computeChildren() throws JavaModelException {
489	return createStrings(this, method.getParameterNames());	489	return createJavaElements(this, method.getParameters());
490	}	490	}
491	});	491	});
492	result.add(new JavaElementChildrenProperty(this, "PARAMETER TYPES") {	492	result.add(new JavaElementChildrenProperty(this, "PARAMETER TYPES") {

Return to bug 334783