[GREENFOOT-240] .jar is added on the end of files if it's already been added in the wrong case
If it's already been added in a different case, then it should be corrected to lower case rather than have another extension put on the end.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 1.5.2