### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.jeview
Index: src/org/eclipse/jdt/jeview/properties/MarkerProperties.java
===================================================================
RCS file: /cvsroot/eclipse/jdt-ui-home/plugins/org.eclipse.jdt.jeview/src/org/eclipse/jdt/jeview/properties/MarkerProperties.java,v
retrieving revision 1.4
diff -u -r1.4 MarkerProperties.java
--- src/org/eclipse/jdt/jeview/properties/MarkerProperties.java	17 Jun 2009 12:02:31 -0000	1.4
+++ src/org/eclipse/jdt/jeview/properties/MarkerProperties.java	17 Feb 2011 15:30:04 -0000
@@ -45,7 +45,6 @@
 		Map<String, Object> attributes= null;
 		boolean isJavaMarker= false;
 		try {
-			@SuppressWarnings("unchecked")
 			Map<String, Object> uncheckedAttributes= fMarker.getAttributes();
 			attributes= uncheckedAttributes;
 			isJavaMarker= IJavaModelMarker.JAVA_MODEL_PROBLEM_MARKER.equals(fMarker.getType());
Index: src/org/eclipse/jdt/jeview/views/JavaElement.java
===================================================================
RCS file: /cvsroot/eclipse/jdt-ui-home/plugins/org.eclipse.jdt.jeview/src/org/eclipse/jdt/jeview/views/JavaElement.java,v
retrieving revision 1.16
diff -u -r1.16 JavaElement.java
--- src/org/eclipse/jdt/jeview/views/JavaElement.java	8 Mar 2010 16:28:55 -0000	1.16
+++ src/org/eclipse/jdt/jeview/views/JavaElement.java	17 Feb 2011 15:30:04 -0000
@@ -1,5 +1,5 @@
 /*******************************************************************************
- * Copyright (c) 2005, 2010 IBM Corporation and others.
+ * Copyright (c) 2005, 2011 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
@@ -483,10 +483,10 @@
 				return createStrings(this, method.getExceptionTypes());
 			}
 		});
-		result.add(new JavaElementChildrenProperty(this, "PARAMETER NAMES") {
+		result.add(new JavaElementChildrenProperty(this, "LOCAL VARIABLES") {
 			@Override
 			protected JEAttribute[] computeChildren() throws JavaModelException {
-				return createStrings(this, method.getParameterNames());
+				return createJavaElements(this, method.getParameters());
 			}
 		});
 		result.add(new JavaElementChildrenProperty(this, "PARAMETER TYPES") {