demo-plugin scalatex.ScalaTexPlugin