A Java Library for Programming with Mobile Ambients