Attachment #106895
proposed patch - HEAD - org.eclipse.jpt.core patch 2008-07-08 18:52:31 EDT 1.81 KB no flags Details