jde-mvn updates

I just fixed a bug in jde-mvn where nothing would work. But it worked for me last week, honest!

Many thanks to Tilman who made me aware of the problem; hopefully the problem I found is the problem you had...