kframework/k — pull request #1036 by dwightguth (2014-10-06 19:30:52+00:00)
Title: fix bug with profiles in maven 3.2.2

@traiansf please review