make it compile in Java6