[UIMA-978] CDE eclipse plugin contains upper-case GIF file extension

• Type: Bug
• Status: Closed
• Priority: Trivial
• Resolution: Fixed
• Affects Version/s: 2.2.1
• Fix Version/s: 2.3
• Component/s: Eclipse plugins
• Assignee: Marshall Schor
• Reporter: Michael Baessler
• Created: 11/Apr/08 08:11
• Updated: 11/Apr/08 17:22
• Resolved: 11/Apr/08 17:22

Description

CDE plugin contains icons with upper-case GIF file extensions. These files are referenced in the java code using lower-case file extensions.
Does this work on Linux?
Is there anything else to check when renaming the extension from GIF to gif?