inesc-id-esw/jvstm — pull request #17 by smmf (2014-09-30 14:42:15+00:00)
Title: Restore a one-line end-of-line-comment

I didn't make it on adding this fix to the PR for issue-12, so here it goes now.