Add getJavaElement()