Fix issue #186: package name (thanks to Marvinmw for the report).
[jpf-core.git] / src / tests / gov / nasa / jpf / test / basic / ConsolePublisherTest.java