Sacha,
I am sure you are right. Windows File APIs are case insensitive. So, I
presume what's happening is that JBoss via Java uses these APIs to open
the first files. At some stage during deployment, JBoss takes a snapshot
of the directory, and then does case sensitive searches over it. Then it
Folks,
I found the source of my problem. I was running on Windows 2000. The
server deployment was in a directory called "Traxbahn". I was starting it
using "run -c traxbahn"
Note the difference in case between Traxbahn and traxbahn. Silly me
assumed that because windows is case insensitive with
