on Windows, filenames are case-insensitive, but case information is kept.
thus, when the user changes merely the case of a type, it is possible that the .class file with wrong case will be packaged into the jar file, which causes failure of loading that class.
on Windows, filenames are case-insensitive, but case information is kept.
thus, when the user changes merely the case of a type, it is possible that the .class file with wrong case will be packaged into the jar file, which causes failure of loading that class.