kframework/k — pull request #993 by dwightguth (2014-09-25 19:34:54+00:00)
Title: add java.awt.headless to unit tests

@cos please review