tree d3bc807a2e74aa7c975cb5f76bf0f8dc1327d920
parent 1c6a1cef8aa8987ff4ff3cf948422395c0c1dd3e
author Luca Milanesio <luca.milanesio@gmail.com> 1588596348 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1588597327 +0100

Fix core plugin name extractions without MANIFEST.MF

When MANIFEST.MF is missing or is incomplete, extract the
plugin name by dropping the extension of the .jar file of
the plugin contained in release.war.

Change-Id: I2f89e4d3d674602e15c4e1bc281c61c9345df8c7