Mathias Ricken - 2007-11-07

Logged In: YES
user_id=1075744
Originator: NO

The exception originates in edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc$2.saveDocInfo(AbstractGlobalModel.java:3132)
_loc = doc.getCurrentLocation();

I assume doc is null. doc gets passed in edu.rice.cs.drjava.model.cache.DocumentCache$DocManager.kickOut(DocumentCache.java:307)
_rec.saveDocInfo(_doc);

After that line, _doc gets closed and then set to null. Perhaps there is a concurrency problem, and _doc is already null?

I don't think I've ever seen this bug, so I can't really verify this.