Het badhuis aan het Javaplein wordt weer opnieuw een badhuis