254255256257258259260261262263264
} } } }); server.addPublishListener(new IPublishListener() { public void publishFinished(final IServer server, final IStatus status) { System.out.println("Publish finished!"); synchronized (HeadLessServerCreator.this)