DevTest - Virtualizing Java Exceptions