Changed Maven logging listener to use string-based classname instead of the actual class
Merge branch 'master' of github.com:Programming-Systems-Lab/vmvm