Small improvements around Glassfish and Jenkins