[jdt-ui-dev] Patch for #26642 - Alternate way of package compression

[Boris Pruessmann <boris+mailinglists.jdt-ui-dev@xxxxxxxxxxxxxx>]

I just posted a patch for (my) feature request #26642. It provides an 
alternate way of package compression. The user can provide a list of 
prefixes to be stripped from a package name e.g. providing org.eclipse 
will result in "org.eclipse.jdt" being displayed as "org.eclipse". 

Greetings,
Boris

-- 
"Engineering does not require science. Science helps a lot but 
people built perfectly good brick walls long before they knew why 
cement works." - Alan Cox