Mobile code: non-final public field